Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> > I just wanted to point out that you can give the Aldor Category "Dimension"
> > an
> > algebraic structure.
> > Scalar: Dimension with {
> > scalar: %;
> > } == AuxiliaryDimension add {
> > scalar: % == [1, ""];
> > }
> > DimensionThing: Group == add {
> > Rep == Dimension;
> > 1: % == per ConstantDimension;
> > (x: %) * (y: %): % == per(x * y);
> > (x: %) / (y: %): % == ...
> > }
>
> note that the line
>
> (x: %) * (y: %): % == per(x * y);
>
> is wrong. It should read "per(rep x * rep y)" on the right hand side.
Yes yes, you know me by now. Thank God there is somebody correcting me when
necessary! (honestly)
> PS: Martin probably wanted Scalar = ConstantDimension. No?
Yes. Isn't that synonymous?
Martin
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
