> I am tempted to apply the patch below which just removes the
> third argument.  Why:
> 
> 1) Adding extra function for membership test _may_ be a good idea.
>    However, I am reluctant to add untested and unused code, while
>    proper developement (including creating test domain which actually
>    uses new functionlity) would take a bit more time that
>    I want to spent on this.

As long as SubsetCategory is removed that is OK.

> 2) I think that Localize and LocalAlgebra represent important
>    concept and that current domain may be good start for future
>    developement.  So I am not eager to remove them.

So be it.

> BTW: the patch passes all tests and AFAICS should cause no
> performance difference.

Still, I don't accept your patch if you are not going to also change the 
documentation. Interestingly, there is only need to change for Localize. 
Here my replacement:

++ Description: Localize(M,R) produces fractions with numerators
++ from an R module M and denominators being the nonzero elements of R.

Waldek, will you then start hunting down the handling of SubsetCategory 
and also remove that code from FriCAS?

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