Re: [sage-devel] Re: division in Zmod(6)

2018-05-03 Thread Johan Bosman
Of course, the quotient is well defined as an element of Z/3Z. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to

Re: [sage-devel] Re: division in Zmod(6)

2018-05-03 Thread 'Bill Hart' via sage-devel
Correction: the corresponding issue in the Nemo.jl project will be fixed in Nemo 0.8.4, not the next release 0.8.3, which apparently has already been tagged and is already in the Julia METADATA queue. We will of course tag 0.8.4 as soon as 0.8.3 clears the queue. The issue has been fixed in Nem

Re: [sage-devel] Re: division in Zmod(6)

2018-05-03 Thread 'Bill Hart' via sage-devel
In Julia and Nemo, the slash operator is floating point division. For example, 1/2 is 0.5 not a half. For division in a ring, you want divexact (there is also a separate operator, div, for Euclidean division). At the moment, the code in Nemo for this is actually incorrect, so it only gives you

Re: [sage-devel] Re: division in Zmod(6)

2018-05-03 Thread Samuel Lelièvre
Oh, I also had shared a Jupyter Notebook version, but forgot to post the link: https://cocalc.com/share/fc94de41-6af4-4ee1-a684-c33a9e56b2b0/nemo-zmod-division.ipynb?viewer=share ​ -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe fr

Re: [sage-devel] Re: division in Zmod(6)

2018-05-02 Thread William Stein
And just for fun, a Jupyter notebook version (just curious if this would "just work", and it does): https://cocalc.com/share/4a5f0542-5873-4eed-a85c-a18c706e8bcd/support/2018-05-02-nemo.ipynb?viewer=share On Wed, May 2, 2018 at 1:21 PM, Samuel Lelievre wrote: > For comparison, Nemo gives an erro

Re: [sage-devel] Re: division in Zmod(6)

2018-05-02 Thread Samuel Lelievre
For comparison, Nemo gives an error. $ julia _ _ _ _(_)_ | A fresh approach to technical computing (_) | (_) (_)| Documentation: https://docs.julialang.org _ _ _| |_ __ _ | Type "?help" for help. | | | | | | |/ _` | |

Re: [sage-devel] Re: division in Zmod(6)

2018-05-01 Thread Vincent Delecroix
On 01/05/2018 19:13, David Roe wrote: On Tue, May 1, 2018 at 1:01 PM, Vincent Delecroix <20100.delecr...@gmail.com wrote: On 01/05/2018 18:31, Nils Bruin wrote: On Tuesday, May 1, 2018 at 9:10:27 AM UTC-7, vdelecroix wrote: Dear all, How should be defined division in non-integral doma

Re: [sage-devel] Re: division in Zmod(6)

2018-05-01 Thread David Roe
On Tue, May 1, 2018 at 1:01 PM, Vincent Delecroix <20100.delecr...@gmail.com > wrote: > On 01/05/2018 18:31, Nils Bruin wrote: > >> On Tuesday, May 1, 2018 at 9:10:27 AM UTC-7, vdelecroix wrote: >> >>> >>> Dear all, >>> >>> How should be defined division in non-integral domains like Zmod(6)? The >

Re: [sage-devel] Re: division in Zmod(6)

2018-05-01 Thread Vincent Delecroix
On 01/05/2018 18:31, Nils Bruin wrote: On Tuesday, May 1, 2018 at 9:10:27 AM UTC-7, vdelecroix wrote: Dear all, How should be defined division in non-integral domains like Zmod(6)? The following looks a bit incoherent to me PPS: people with access to magma are welcome to report! Magma comp

[sage-devel] Re: division in Zmod(6)

2018-05-01 Thread Nils Bruin
On Tuesday, May 1, 2018 at 9:10:27 AM UTC-7, vdelecroix wrote: > > Dear all, > > How should be defined division in non-integral domains like Zmod(6)? The > following looks a bit incoherent to me > > PPS: people with access to magma are welcome to report! > Magma complains about division by a n