[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

'SubsetCategory' seems to be a specific to SPAD. It is defined here:

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''() ==

But this constructor does not seem to be available to the
Axiom interpreter:

forwarded from

reply via email to

[Prev in Thread] Current Thread [Next in Thread]