Dear Martin,
> I can try to do this later but as you know this code better could you give it
> a shot?
I got it!
I was setting degBound.
Apparently in SuperCommutative it is not checked whether degBound is
sufficiently large. Hence, a relation z^2 with deg(z)>1 will not be
found when we have degBound == 2.
I consider this a bug and will inform the Singular-team.
Example:
LIB "ncall.lib";
ring R=0,(x,y,z),(a(1, 3, 3),dp);
degBound = 2;
def S=SuperCommutative(1,3);
setring S;
print(S);
// characteristic : 0
// number of vars : 3
// block 1 : ordering a
// : names x y z
// : weights 1 3 3
// block 2 : ordering dp
// : names x y z
// block 3 : ordering C
// noncommutative relations:
// yx=-xy
// zx=-xz
// zy=-yz
// quotient ring from ideal
_[1]=x2
Hence, the relations y2 and z2 are ignored as they are of degree 6.
Until a degBound-check is done inside SuperCommutative, i will do it
myself outside.
Yours
Simon
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at
http://groups.google.com/group/sage-support
URLs: http://sage.math.washington.edu/sage/ and http://sage.scipy.org/sage/
-~----------~----~----~----~------~----~------~--~---
