On 01/14/2012 01:30 PM, Gabriel Dos Reis wrote:
| ---rhxBEGIN tst.spad
| EXX ==> Expression X
| EX Y ==> Expression Y
| fooz z ==> 2*z+3^z
|
| )abbrev category CATX CatX
| CatX(R: Ring): Category == with
| foo: EXX -> Integer
|
| )abbrev category CATY CatY
| CatY(R: Ring): Category == with
| foo2: EX R -> Integer
|
| )abbrev domain MINT MyInteger
| MyInteger: IntegerNumberSystem with
| baz: Integer -> Integer
| == Integer add
| -- fooz z ==> 2*z+3^z
| baz(x: Integer): Integer == fooz x
| ---rhxEND tst.spad
| ==============================
| The compilation also shows
|
| --->/home/hemmecke/p/tst.spad-->CatX((foo ((Integer) (Expression
| X)))): Not documented!!!!
|
| --->/home/hemmecke/p/tst.spad-->CatY((foo2 ((Integer) (EX R)))): Not
| documented!!!!
|
| for CatX and CatY respectively, i.e. EXX seems to have been expanded
| to Expression X, but EX R is left untouched and not expanded to
| Expression R.
OpenAxiom does not expand EXX and EX.
What does that mean?
Doesn't OpenAxiom expand the macros before it starts compilation?
Ralf
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
