Minimal order cross-section
fr > | Section:=[x=0,u[0]=0,v[0]=0,u[1]=0,v[1]=0,v[2]=0]: |
fr > | C , Invariantizations := dmf (LieAlg,Section, fr, [op(Section), u[2]=kappa, v[3]=kappa*tau]):
|
"Section :"
"Transversality condition :" u[2]
"Invariantizations:"
"Commutation rules"
"Syzygies"
"Syzygies with attempt to eliminate the y's"
fr > | Invariantizations; |
fr > | rewrite_rules(C); |