#
# file:         lib.gap
# purpose:      GAP globals and small things not fitting anywhere else
# created:      pasha jun 20 2004
# modified:     pasha feb 16,18 2005
# modification: - BaseFiled is synonym for GroundField
#               - some stuff transferred to o1.gap
#


#GroundField := Rationals;
GroundField := GF(7);
BaseField := GroundField;


#############################################################################
#                                                                           #
#                       Lie algebras                                        #
#                                                                           #
#############################################################################
# sl(2)
A1 := SimpleLieAlgebra ("A", 1, GroundField);  
# sl(p-1) (of traceless matrices p x p, p - characteristic of the ground field)
Ap := SimpleLieAlgebra ("A", Characteristic(GroundField) - 1, GroundField); 
# W_1(1)
Witt := SimpleLieAlgebra ("W", [1], GroundField);
# W_1(n)
Zassenhaus := function (n)
	return (SimpleLieAlgebra ("W", [n], GroundField));
end;
## P(2) - Poisson in 2 variables
#Poisson := P2(GroundField);
# zero algbera
ZeroAlgebra := NullAlgebra (GroundField);

#DualNumbers := ReducedPolyRingAux (GroundField, 2);



#############################################################################
#                                                                           #
#                       aliases and shortcuts                               #
#                                                                           #
#############################################################################
Der := function (A)
	return (Derivations (Basis(A)));
end;

testjacobi := function (L)
	return (TestJacobi (StructureConstantsTable (Basis(L))));
end;

dim  := Dimension;
read := Read;


# end of lib.gap