Dear Tim, could you put the patch also on IssueTracker, please. (If you don't want to, tell me and I'll do it.)
I suppose that you added > 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. to the pamphlet. Thanks, Martin _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
