Can somebody explain how the code below can compile with SPAD.
Is SubsetCategory a built-in thing?
There is only one spad file, namely fraction.spad, which contains that
identifier.
Ralf
LocalAlgebra(A: Algebra R,
R: CommutativeRing,
S: SubsetCategory(Monoid, R)): Algebra R with
if A has OrderedRing then OrderedRing
_/ : (%,S) -> %
++ x / d divides the element x by d.
_/ : (A,S) -> %
++ a / d divides the element \spad{a} by d.
numer: % -> A
++ numer x returns the numerator of x.
denom: % -> S
++ denom x returns the denominator of x.
== Localize(A, R, S) add
1 == 1$A / 1$S
x:% * y:% == (numer(x) * numer(y)) / (denom(x) * denom(y))
characteristic() == characteristic()$A
-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2008.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
