On Thu, Jul 17, 2008 at 10:13 PM, Bill Page <[EMAIL PROTECTED]>
wrote:
> 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?
>
ATM I cannot answer your question. But I can show something else:
currently when you want to say if T2 is some specific domain, T1(T2) has
something, you write
if T2 has DomName then Attr
The problem is:
"has" is supposed to handle Categories(attributes, signatures), but not
domain. Currently "Integer has Ring" and "Integer has Integer" are both used
in the compiler.
Actually, (Integer has Integer) will return false in the interpreter.
>
> 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
