On Tue, Mar 27, 2018 at 9:59 AM, John Cremona <john.crem...@gmail.com> wrote:
>
>
> On 27 March 2018 at 17:43, Nils Bruin <nbr...@sfu.ca> wrote:
>>
>> On Tuesday, March 27, 2018 at 9:35:34 AM UTC-7, William wrote:
>>>
>>> Just curious -- does that have the *potential* to break Magma library
>>> code?  E.g., maybe deep in some package code I wrote 20 years ago
>>> for Magma, I use Factorization on a reational, and assume that the
>>> output is "trivial".   (I'm pretty sure I didn't, but...)
>>>
>> Yes, so if I do run into a bug I feel like reporting, I'll run it through
>> "magma -n" if I don't forget, to check that my customizations aren't to
>> blame.
>
>
> Surely not, since on a vanilla Magma session an error is raised if the
> argument is rational:
>> Factorization(6/2);
>
>>> Factorization(6/2);
>                 ^
> Runtime error in 'Factorization': Bad argument types
> Argument types given: FldRatElt

Thanks.  By the way, in Magma:

> IsPrime(3/1);
false
> IsPrime(3);
true

so a similar overloading of isPrime by Nils would potentially break things.

-- 
William (http://wstein.org)

-- 
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 this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to