[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 <=