Re: [Axiom-developer] Re: Dimensions as types...

[Martin Rubey]

Ralf Hemmecke <address@hidden> 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