yes, my code is not yet in a showable shape, I will finalize it asap.
Am 11.05.19 um 17:08 schrieb Ralf Hemmecke:
> On 5/11/19 12:23 PM, Prof. Dr. Johannes Grabmeier privat wrote:
>> I have various implementations and improbement of localizations done, if
>> interested I can go through it again
Johannes Grabmeier wrote:
>
> I have various implementations and improbement of localizations done, if
> interested I can go through it again and we can think how we improve the
> current code.
I am interested. ATM I have a lot of distractions, but I hope
to respond resonably fast.
--
On 5/11/19 12:23 PM, Prof. Dr. Johannes Grabmeier privat wrote:
> I have various implementations and improbement of localizations done, if
> interested I can go through it again and we can think how we improve the
> current code.
Do you mean improvement of
I have various implementations and improbement of localizations done, if
interested I can go through it again and we can think how we improve the
current code.
Am 10.05.18 um 16:30 schrieb Waldek Hebisch:
> Various localizations seem to play important role in algebra
> so we would like to support
>> PS: I'm sure, you have also found fricas.github.io/api/Localize.html .
>> That domain looked somehow weird to me. For a localization, I would
>> expect a ring R and a multiplicative closed set S and then form
>> S^(-1)R. Why Localize(M, R) wants R to be a CommutativeRing, is not
>> completely
> "samba" looks a lot like variations of Groebner bases advocated by
> Mora. I wonder if "samba" is just a special case or a new variation
> unknow before.
Thanks for reading the article. Yes, samba is a "critical
pair/completion" algorithm, but it's not a Gröbner basis that comes out.
The
Ralf Hemmecke wrote:
>
> Hi Waldek,
>
> in general, I am, of course, for generalisations. Do you only want
> Z --> R:GcdDomain
> Q --> Fraction(R)
> ?
>
> What is your concrete application for such a generalisation?
>
> Do you have also other things in mind?
ATM I am in planning stage.
Hi Waldek,
in general, I am, of course, for generalisations. Do you only want
Z --> R:GcdDomain
Q --> Fraction(R)
?
What is your concrete application for such a generalisation?
Do you have also other things in mind?
I used it in my article
Various localizations seem to play important role in algebra
so we would like to support them. ATM I am not sure how
to implement more general localizations. However, as
a small step I looked at IntegerLocalizedAtPrime. It compiles
when I replaced Z by a GcdDomain R and Q by Fraction(R).
And