Re: [Axiom-developer] FramedNonAssociativeAlgebraFunctions2

[Martin Rubey]

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