[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] FramedNonAssociativeAlgebraFunctions2

From: root
Subject: Re: [Axiom-developer] FramedNonAssociativeAlgebraFunctions2
Date: Thu, 20 Oct 2005 13:45:57 -0400


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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]