http://axiom-wiki.newsynthesis.org/428EquationDomainCoerceToOutputFormAndBoolean
On 06/17/2008 11:56 PM, Bill Page wrote:
> Putting 'Domain' in 'SetCategory' is one possible solution to this problem:
> \begin{spad}
> )abbrev domain DOMAIN Domain
> ++ Author: Gabriel Dos Reis
> ++ Date Create: October 18, 2007.
> ++ Modified: Bill Page
> ++ Date Last Updated: June 17, 2008.
> ++ Basic Operations: coerce, reify
> ++ Related Constructors: Type, Syntax, OutputForm
> ++ Also See: Type, ConstructorCall
> Domain(): Public == Private where
> Public ==> SetCategory with
...
> Private ==> add
...
I must admit that I like the idea of Saul Youssef
http://physics.bu.edu/~youssef/homepage/talks/categories/21.html
Domain: Category == with;
An object X: Domain would be called a "domain" that is similar to
C: Category
where we call C a category (in the Aldor sense).
Oooops, now I see that Gaby has also written in domain.spad.pamphlet:
Category(): Public == Private where
Public ==> CoercibleTo OutputForm
Private ==> add
coerce x ==
outputDomainConstructor(x)$Lisp
Isn't "Category" part of the SPAD language? I am a bit confused and
unfortunately the documentation in that file does not help me out. There
is at least a reference to "further reading" missing.
What I see in syntax.spad.pamphlet all looks like adding reflection to
SPAD. Is that the intention? Anyway I find
Category(): Public == Private where ...
somewhat confusing without any proper explanation of why it can and
should be done this way.
Ralf
-------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://sourceforge.net/services/buy/index.php
_______________________________________________
open-axiom-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
