Greg,
Clearly this is a bug because the line:
rank()$AR = rank()$AR => represents(vs)$AS
is always true and cannot be the intended meaning. The line you propose
rank()$AR = rank()$AS => represents(vs)$AS
seems to be correct according to my reading of the file. That is, if the
rank of the algebras is the same then we can use the vector basis of AS.
If they are of different rank then we need to return a smaller basis.
I've make this fix in the current system.
Tim
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
