Ralf Hemmecke writes:
[...]
| In fact, shouldn't it be possible in panAxiom to have
|
| spnt: (DF, DF) -> %
|
| and
|
| spnt: (DF, DF) -> Rep
|
| ?
As you may know, that is already possible in all AXIOM variants.
The real question is: is it easy to use them without getting into
infinite
Arthur Ralfs writes:
| Hi Martin,
|
| In your scenegraph code you declare function signatures twice, for
| instance in SCartesian.spad the Exports part has (via SPointCategory)
|
|spnt:(a:DoubleFloat,b:DoubleFloat) -> %
|
| while the Implementation part has
|
|
| spnt(a:DF,b:DF):%
Hi Martin,
In your scenegraph code you declare function signatures twice, for
instance in SCartesian.spad the Exports part has (via SPointCategory)
spnt:(a:DoubleFloat,b:DoubleFloat) -> %
while the Implementation part has
spnt(a:DF,b:DF):% ==
pt := new(n+1,0$DF)$Rep
pt.
