[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 |
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