On Fri, Aug 30, 2013 at 1:35 PM, David Joyner wrote:
> On Fri, Aug 30, 2013 at 2:44 PM, William Stein wrote:
>> On Fri, Aug 30, 2013 at 11:07 AM, XXX wrote:
>>> Hi William,
>>>
>>> I know you have had a long and interesting "history" with Magma.
>>>
>>> You're probably already aware of this but i
On Fri, Aug 30, 2013 at 2:44 PM, William Stein wrote:
> On Fri, Aug 30, 2013 at 11:07 AM, XXX wrote:
>> Hi William,
>>
>> I know you have had a long and interesting "history" with Magma.
>>
>> You're probably already aware of this but if you're not, apparently the
>> Simons Foundation is now fundi
On Fri, Aug 30, 2013 at 11:07 AM, XXX wrote:
> Hi William,
>
> I know you have had a long and interesting "history" with Magma.
>
> You're probably already aware of this but if you're not, apparently the
> Simons Foundation is now funding the distribution of Magma to qualified
> U.S.-based institut
2013/8/30, William Stein :
> On Fri, Aug 30, 2013 at 11:07 AM, XXX wrote:
>> Hi William,
>>
>> I know you have had a long and interesting "history" with Magma.
>>
>> You're probably already aware of this but if you're not, apparently the
>> Simons Foundation is now funding the distribution of Magma
I wrote StdOutContext for use cases like this actually. Particularly, to
capture the protocol of a GB computation:
in sage.rings.polynomial.multi_polynomial_ideal:
from sage.interfaces.magma import MagmaGBLogPrettyPrinter
if prot:
log_parser = MagmaGBLogPrettyPrinter(verbo
On Wed, Dec 14, 2011 at 4:13 PM, David Roe wrote:
> I helping a colleague try to wrap some magma code that uses verbose
> print statements. Apparently, just setting the verbose flag is not
> enough:
>
> sage: magma.SetVerbose("Factorization",1)
> sage: magma.Factorization(56654654654464)
> [ <2,
I helping a colleague try to wrap some magma code that uses verbose
print statements. Apparently, just setting the verbose flag is not
enough:
sage: magma.SetVerbose("Factorization",1)
sage: magma.Factorization(56654654654464)
[ <2, 11>, <1289, 1>, <21461137, 1> ]
Instead, you have to use StdOut
There's a ticket fixing this at #7870, merged in 4.7.alpha4.
Which version were you using?
On your last point: not enough!
John
On Tue, Apr 19, 2011 at 2:44 PM, Marco Streng wrote:
> Hi all,
>
> Is it just me, or is magma(K) broken for number fields K?
>
> The following example is in number_f
Hi all,
Is it just me, or is magma(K) broken for number fields K?
The following example is in number_field.py (Sage 4.6.2):
===
sage: R. = QQ[]
sage: K. = NumberField(t^2 + 1)
sage: K._magma_init_(magma)# optional - magma
'SageCreateWithNames(N
This is now ticket #7504.
sage: bool(pari(False))
False
sage: bool(gap(False))
False
sage: bool(maxima(False))
False
sage: bool(maple(False))
False
sage: bool(mathematica(False))
False
sage: bool(magma(False))
True
Kiran
--
To post to this group, send an email to sage-devel@googlegroups.com
To
In Magma, many commands return multiple values, for instance:
sage: %magma
magma: XGCD(15, 10)
5 1 -1
However, the following happens in SAGE:
sage: magma.XGCD(15, 10)
5
Is there a good way for the Magma interface to detect multiple return
values and bundle them into a Python tuple? Then I'd be
Hi,
I wrote slides just now for a culturally and historically
oriented introduction to Magma, Maple, Mathematica,
MATLAB, and SAGE. If you want, please take a look at
them and give me any feedback you might have:
http://sage.math.washington.edu/tmp/survey.pdf
--
William Stein
Associate Prof
In magma, I do this:
> F := FiniteField(2);
> F;
Finite field of size 2
> FiniteField(2);
Finite field of size 2
>
I can't reproduce this with the interface in sage:
sage: F = magma('FiniteField(2);')
sage: magma(F.name())
_sage_[17] := _sage_[12];
sage: magma('%s;'%F.name())
sage: magma.eval(
I am now absolutely certain MAGMA uses the FFT for multiplying
polynomials over ZZ right down to degree 16 (when the bit length is
1000). This is a **much** lower cutoff than NTL uses, which is
indicative of the fact that MAGMA's FFT is way better implemented.
I determined that MAGMA definitely u
14 matches
Mail list logo
