Francois Maltey <[EMAIL PROTECTED]> writes:
[...]
| The display of a finite set is {...} but it's impossible to construct
| a set without the list. This may be useful to forecast a construct
| for set without built the list. imagine a list of 10^5 equal elements.
| It seems it's impossible to use brace {...} because it's the pile operator
| for instructions, but an other construct might have any avantage.
In OpenAxiom-1.2.0, you can use { } to construct sets directly.
-- Gaby
-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2008.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
