Question: Query and "Ideal" with parameters

Hi,

I tried to find the set of real parameters a1, a2, a3, a4 and u1, u2, u3 which make a subalgebra L an ideal of a finite real Lie algebra LieAlg. Unfortunately, the "Query" command with the "Ideal" argument returns an error message that I can't get around. What should I change in this command?

restart: 
with(DifferentialGeometry):
with(LieAlgebras):
#
DGsetup([x1,x2,x3],R3):
#
Lie_Generators := [D_x1*x1+D_x2*x2+D_x3*x3, D_x3*k^2*x1+D_x1*x3, -D_x1*x2+D_x2*x1, D_x3*k^2*x2+D_x2*x3, D_x1, D_x2, D_x3]:
#
LieAlg:=LieAlgebraData(Lie_Generators):
#
DGsetup(LieAlg):
#
L:= evalDG([e3+u2*e5-u1*e6,e2-u3*e5-k^2*u1*e7,e4-u3*e6-k^2*u2*e7,e1-u1*e5-u2*e6-u3*e7]);
Sub_Alg_L:=LieAlgebraData(L);
#
TrueFalse,Equations,Solutions,IdealList:=Query(L,{u1,u2,u3},"Ideal");
#
TrueFalse,Equations,Solutions,IdealList:=Query([DGzip([a1,a2,a3,a4], L, "plus")],{a1,a2,a3,a4,u1,u2,u3},"Ideal");

Thanks for your help.

 

Jaqr

Please Wait...