1) Currently we _have to_ call error, because the 'solve' routine can
not deliver promised result.

Yes, I know.

The only alternative we have now it to return some garbage and this
may lead to wrong results.

In some sense it is a but in the library. But maybe a better error message should be doable now. What about replacing:

         error "system does not have a finite number of solutions"

by

  s := concat ["System does not have a finite number of solutions.",
               newLine(),
               "Handling this situation is currently not implemented."]
  error s

I've no idea whether the newline shows nicely. Maybe, it's not worth the trouble now.

Better would be to fix that with a Exception system and a NotImplemented exception.

2) There are reasonable ways to solve positive dimensional system,
simply no is implemented in FriCAS.  In light of this error is
resonable -- it inform user about system defect (unimplemented
routine).

OK, it's a defect, but it doesn't inform about "unimplemented".

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.

Reply via email to