diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-05-02 05:07:58 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-05-02 05:07:58 +0000 |
| commit | 927875aade5720ec0e0cfbe741988011a604678f (patch) | |
| tree | 27a1edd6e6d161a2b640380584440bc45d4ea621 /src/interp/category.boot | |
| parent | 29e53d366bd313f432aa744b651875f97438586c (diff) | |
| download | open-axiom-927875aade5720ec0e0cfbe741988011a604678f.tar.gz | |
* interp/c-util.boot (categoryRef, domainRef, canonicalForm)
(instantiatorCtor, instantiatorArgs, categoryExports): New.
Diffstat (limited to 'src/interp/category.boot')
| -rw-r--r-- | src/interp/category.boot | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/interp/category.boot b/src/interp/category.boot index 0d8ebcb1..63b4fb2e 100644 --- a/src/interp/category.boot +++ b/src/interp/category.boot @@ -32,7 +32,7 @@ -- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. -import g_-util +import c_-util import g_-cndata namespace BOOT @@ -65,7 +65,7 @@ isCategoryForm(x,e) == CategoryPrint(D,$e) == SAY "--------------------------------------" SAY "Name (and arguments) of category:" - PRETTYPRINT D.0 + PRETTYPRINT canonicalForm D SAY "operations:" PRETTYPRINT D.1 SAY "attributes:" @@ -135,7 +135,7 @@ mkCategory(domainOrPackage,sigList,attList,domList,PrincipalAncestor) == count := count+1 -- Build a fresh category object stuffed with all updated information v := newShell count - v.0 := nil + canonicalForm(v) := nil v.1 := sigList v.2 := attList v.3 := $Category @@ -329,7 +329,7 @@ FindFundAncs l == --also as two-lists with the appropriate conditions l=nil => nil f1:= CatEval CAAR l - f1.0=nil => FindFundAncs rest l + canonicalForm f1 = nil => FindFundAncs rest l ans:= FindFundAncs rest l for u in FindFundAncs [[CatEval first x,mkAnd(CADAR l,second x)] for x in second f1.4] repeat |