Ralf Hemmecke wrote:
> Of course that is not a proof. I just lobby for the removal of
> SubsetCategory. If Waldek finally accepts my patch, fine, if not then
> that doesn't hurt me so much either. I will have learned something about
> the internals of FriCAS by then.
>
I had a little problem applying your patch: what I received
in mail did not apply cleanly (I am not sure why, after looking
at patch and source did see any problem). I am now testing
modifed version of your patch (just to see if/how possible
variants work).
One remark: if we want just preserve existing functionality,
then the simplest way is probably to remove the third argument to
Localize and LocalAlgebra. Namely, currentlty there is probably
no way to create nontrivial domain of SubsetCategory, so the
in working code third argument will be the same as the second
one. Your patch actually makes Localize more general, because
it allows different representation for S -- AFAICS you can
use
Localize(M, Polynomial Integer, MyInteger)
where MyInteger is Integer with extra coercion to Polynomial Integer.
Extra generality may be good, but I wonder if gain (possibility
to use different representation and checking that denominators
really belong to S) is worth the cost (possible performance loss).
Also, it is not clear how well S different from R would work
-- I must admit that current Localize and LocalAlgebra look
half-baked to me.
BTW: While LocalAlgebra is mentioned in solverad.spad.pamphlet
AFAICS it is actually unused. So it seems that the only current
use of Localize and LocalAlgebra is via Fraction.
--
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
-~----------~----~----~----~------~----~------~--~---
