On Thu, Jul 17, 2008 at 10:49 PM, Yixin Cao wrote: > With this patch, categories can be declared conditionally with > 'is' operator, e.g. > > Fake(T:Type, a:T): Public == Private where > Public == CoercibleTo OutputForm with > if T is Integer and a is 10 then CommutativeRing > if T is Matrix(Integer) then leftUnitary > > ...
That looks pretty cool! I'd like to know more. Can you tell me where I can find details of the semantics and examples of other uses of the 'is' operator in SPAD? So far as I recall, only 'has' is discussed in chapters 11, 12, 13 of the Axiom book. Where else can I look? Regards, Bill Page. ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
