Maybe it would be interesting to implement this... http://web.mat.bham.ac.uk/P.Butkovic/My papers/Two sided systems 2.pdf
Martin _______________________________________________ Axiom-math mailing list Axiom-math@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-math