> > > 4.) Do we want to include the MatrixManipulation package into
> > > Fricas? I discovered that it's already part of Axiom.
> > >
> >  
> > The package looks OK and is a worthy addition.  One remark: I would
> > probably use 'rowMatrix' instead of 'aRow' and 'columnMatrix'
> > instead of 'aColumn'.

Ok. I stayed as close as possible to the functions of the Matrix
domain where we have:

 row : (%,Integer) -> Vector(R)
 column : (%,Integer) -> Vector(R)

But I could not reuse these names because of name resolution.
I want "row(...)" to do the right thing w/o the need of
calling it like "row(...)$MAMA(...)".


> I will look at it.  My impression from your messages was that
> you want to work out some problems.

Right. Apart from the speed issues that I did not consider
to be very urgent there was at least one main point I'd like
to improve: the package constructor. This feels much to long
especially when one need to do package calling.

 MatrixManipulation(R: Field, Row: FiniteLinearAggregate(R), Col: 
FiniteLinearAggregate(R), M: MatrixCategory(R,Row,Col))

Actually, the current functions have only M as input/output type.
The R, Row, Col are solely used to define M. My attempt to build
something like:

 MatrixManipulation(M: MatrixCategory(R,Row,Col))

has failed so far. At some point I need to tell the details of M.
I'm not sure if it would even be possible to build:

 MatrixManipulation(M: MatrixLikeObjectThatAllowsExtractionOfSubrectangles)


> The package is now included in FriCAS.  I did the renames and
> modified a few functions to make them more efficient.

Thanks!

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to