[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
## [Axiom-developer] [Fraction] SubsetCategory ?

**From**: |
Bill Page |

**Subject**: |
[Axiom-developer] [Fraction] SubsetCategory ? |

**Date**: |
Tue, 07 Feb 2006 04:24:03 -0600 |

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

[Prev in Thread] |
**Current Thread** |
[Next in Thread] |

**[Axiom-developer] [Fraction] SubsetCategory ?**,
*Bill Page* **<=**