Bill Page wrote:
>
> Waldek,
>
> It would help me and maybe a few others if you could expand a little
> on a couple of points:
>
> On Wed, Jul 8, 2009 at 2:40 PM, Waldek Hebisch wrote:
> >
> > I plan to add the following relase notes for 1.0.7.
> > ...
> > +
> > +- Categories with default package can be used just after definition
> > + ? (fixes 1.0.6 regression).
> > +
>
> I do not understand what this means "can be used just after
> definition". What specifically did not work in 1.0.6?
>
Create a file like:
)abbrev category NTYPE NType
NType(): Category == with
foo : % -> %
bar : % -> %
add
foo(x) == x
)abbrev domain NTD NTDoamin
NTDoamin(): NType == add
bar(x) == x
and compile it.
> > +
> > +- Allow local domains in conditionals (in Spad code).
> > +
>
> What is a "local domain"? Do you mean a domain that is defined in the
> same .spad file?
>
No, I mean domain which is parameter of a function or a local
variable (as opposed to parameter to constructors or global
variables). For example:
bar(x : Type) : Integer ==
x is Integer => 1
0
Note: currently it is not possible to use such functions from
interpreter, they only work in Spad code.
--
Waldek Hebisch
[email protected]
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
