Re: [Axiom-developer] Re: [fricas-devel] Re: RectangularMatrixCategory should have Finite

2007-12-14 Thread root
Excellent. I'll put this in after I install/test Greg's patch -- Tim ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

[Axiom-developer] Re: [fricas-devel] Re: RectangularMatrixCategory should have Finite

2007-12-14 Thread Martin Rubey
Dear Waldek, Gaby, Tim, below a patch that makes RMATCAT Finite if it is. A testcase is R==>RectangularMatrix(2,4, PF 2) every?(zero?, [lookup(index(i))$R - i for i in 1..2^8]) should give true. I slightly extended the documentation of HOAGG, since, when I read the original, I was first led to

[Axiom-developer] Re: [fricas-devel] Re: RectangularMatrixCategory should have Finite

2007-12-14 Thread Martin Rubey
Martin Rubey <[EMAIL PROTECTED]> writes: > Dear Waldek, > > Martin Rubey <[EMAIL PROTECTED]> writes: > > > Waldek Hebisch <[EMAIL PROTECTED]> writes: > > > > > This is issue 258. I plan to apply the patch below to solve the issue (as > > > suggested in the issue we modify RectangularMatrixCate

[Axiom-developer] Re: Close Issues -> Close Fricas Issues

2007-12-14 Thread Martin Rubey
"Bill Page" <[EMAIL PROTECTED]> writes: > > (I see, you are experimenting with running all axioms on > > MathAction?) > > > > Yes, I have a preliminary version of the axiom-wiki installed at > newsynthesis.org (aka. sage.math) that does support all three > versions/forks of axiom. This is easily