The primary purpose of LinearlyExplicitRingOver(R) is to help test (and solve) linear dependence -- it provides the computational content of the abstract notion. In its current form, that category extends Ring. That is far too restrictive. In full generality, it should extend only LeftModule(R) for left linear system (and RightModule(R) for right linear systems.) To simplify matters, we could just make it extend Module(R). That will still be less restrictive than Ring. Doing so will permit domain that satisfy VectorSpace(K) (but not Ring) to be eligible for testing linear dependence through the general interface.
Opinions? (Of course the name will change to LinearlyExplicitOver.) -- Gaby ------------------------------------------------------------------------------ ThinkGeek and WIRED's GeekDad team up for the Ultimate GeekDad Father's Day Giveaway. ONE MASSIVE PRIZE to the lucky parental unit. See the prize list and enter to win: http://p.sf.net/sfu/thinkgeek-promo _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
