Ralf Hemmecke wrote:
>
> On 04/27/2009 03:47 AM, Waldek Hebisch wrote:
> > Convertion is almost finished now: Ralf did p*, I just did q* and r*.
> > There are four tricky cases remaining -- I will try to find out
> > what is happening with them.
>
> I think the only remaining #1 stuff was in mantepse.spad.pamphlet.
> I've just commited this trivial fix. Martin, please check. I didn't see
> an essential change in the lisp file.
>
This was one of the four.
> Now with my outstanding commit of Waldek's reverted things,
The three cases I reverted gave changes to Lisp code, and
the resulting Lisp failed tests.
> the only
> remaining appearances of #1 are either in comments or in the (string)
> argument of the 'error' function ... and
>
> integer.spad.pamphlet:270: == SubDomain(Integer,#1 >= 0) add
> integer.spad.pamphlet:296: == SubDomain(NonNegativeInteger,#1 > 0) add
>
> So, let's remove support for #1 from FriCAS.
>
Yes, that the plan. But handling of #1 is tied to other things,
so I am not sure how fast we can do that.
> In fact, I would be happy, if #1 could also go away for the two
> 'SubDomain' arguments.
>
Well, current SubDomain code is broken -- few cases work via
cheating, the other are unhandled. ATM it is not clear how
to fix this. The current implementation can work only in
very restricted cases, in principle quite different implemetation
could be more general. In other words, before we start
fixing SubDomain we need to do serious design work.
Now, it would be easy to replace current broken code (using #1) by
another broken code (using +->), but IMHO that would be a net loss.
--
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
-~----------~----~----~----~------~----~------~--~---
