[Axiom-developer] [Fraction] SubsetCategory ?

[Bill Page]

Changes http://wiki.axiom-developer.org/Fraction/diff
--
'SubsetCategory' seems to be a specific to SPAD. It is defined here:

http://wiki.axiom-developer.org/axiom--test--1/src/interp/CompilerBoot

\begin{boot}
compSubsetCategory(["SubsetCategory",cat,R],m,e) ==
  --1. put "Subsets" property on R to allow directly coercion to subset;
  --   allow automatic coercion from subset to R but not vice versa
  e:= put(R,"Subsets",[[$lhsOfColon,"isFalse"]],e)
  --2. give the subset domain modemaps of cat plus 3 new functions
  comp(["Join",cat,C'],m,e) where
    C'() ==
      substitute($lhsOfColon,"$",C'') where
        C''() ==
          ["CATEGORY","domain",["SIGNATURE","coerce",[R,"$"]],["SIGNATURE",
            "lift",[R,"$"]],["SIGNATURE","reduce",["$",R]]]
\end{boot}

But this constructor does not seem to be available to the
Axiom interpreter:
\begin{axiom}
xl:=Localize(Integer,Integer,PositiveInteger)
SubInt:=SubsetCategory(Monoid,Integer)
\end{axiom}

--
forwarded from http://wiki.axiom-developer.org/address@hidden