sage-padics Google Group

Re: bug in factoring polynomial

john.crem...@gmail.com (John Cremona) — Wed, 03 Apr 2013 08:29:31 UT

THis should be reported to the pari list?

John

Re: bug in factoring polynomial

robert.har...@gmail.com (Rob Harron) — Wed, 03 Apr 2013 04:06:33 UT

Note the following interesting behaviour in gp (or rather sage's gp
console):
? f = (3 + O(2^20))*x^4 +(1+ O(2^20))*x^3 + (3 + O(2^20))*x^2 + (3 +
O(2^20))*x
%6 = (1 + 2 + O(2^20))*x^4 + (1 + O(2^20))*x^3 + (1 + 2 + O(2^20))*x^2 + (1
+ 2 + O(2^20))*x
? factor(f)
*** at top-level: factor(f)
*** ^---------

bug in factoring polynomial

wst...@gmail.com (William Stein) — Tue, 02 Apr 2013 19:07:45 UT

I hit this today when factoring a 3-division polynomial. NOTE that
there is no 2 in any denominator, but the poly is not monic:

sage: R.<x> = QQ[]; f = 3*x^4 + x^3 + 3*x^2 + 3*x; f.factor_padic(2)
------------------------------ ------------------------------ ---------------
PariError Traceback (most recent call

Re:

robert.har...@gmail.com (Rob Harron) — Wed, 27 Mar 2013 01:41:42 UT

This is great news! I'm downloading the patches right now.
Rob

xavier.car...@normalesup.org (Xavier Caruso) — Sun, 24 Mar 2013 08:48:32 UT

Dear p-adic enthusiasts,

I've recently written several patches/packages related to p-adics
in Sage. Here is an overview of what I've done:

. an implementation of Frobenius endormophisms over p-adic
rings (as morphism - the method x.frobenius() already exists)

. an implementation of Newton polygons as a separated class

Re: Final conference CETHop

xavier.car...@normalesup.org (Xavier Caruso) — Tue, 29 Jan 2013 15:39:23 UT

Dear collegues,

Le mardi 29 janvier 2013, Xavier Caruso a �crit�:

Oops, I wanted to say: from April 22 to April 26, **2013**.
I am really sorry for this stupid typo.

I remind you the website of the conference where all informations
are (hopefully) correct:
[link]

Final conference CETHop

xavier.car...@normalesup.org (Xavier Caruso) — Tue, 29 Jan 2013 13:49:14 UT

Dear collegues,

We are pleased to announce the final conference of the CETHop
project to be held in Luminy (France) from April 22 to April
26, 2014

The topic of the conference is:

p-adic Galois representations and p-adic Hodge theory:
theoretical and effective aspects

The program of the conference includes about 15 one-hour talks

Sage Days 44

roed.m...@gmail.com (David Roe) — Tue, 01 Jan 2013 01:49:01 UT

Hi everyone,
William Stein, Rob Harron and I are organizing Sage Days 44 (
[link]). We have a bit of funding left, so if
you're interested in attending let me know in the next couple days.
David

Re: Hashing p-adic elements

wst...@gmail.com (William Stein) — Fri, 04 Nov 2011 20:24:18 UT

This is a huge general problem in implementing mathematics using
Python. On the one hand we have (from [1]): "The only required
property [of __hash__] is that objects which compare equal have the
same hash value."
On the other hand, this is violated all over the place in Sage. For example,
sage: ComplexField(10)(1/3) == ComplexField(20)(1/3)

Hashing p-adic elements

r...@math.harvard.edu (David Roe) — Fri, 04 Nov 2011 18:59:06 UT

Hi everyone,
I'm working on #11895, which points out that there is no hash for
extension elements. And I have a design question which applies to
hashing for elements of Qp and Zp as well.
sage: a
1 + O(5^2)
sage: b
1 + 5^2 + O(5^5)
sage: a==b
True
sage: hash(a)
1
sage: hash(b)
26
Of course, we see this problem for elements of Zmod(N) compared to

Iterated extensions of Qp

julian.ru...@gmail.com (Julian Rüth) — Thu, 13 Oct 2011 12:49:21 UT

Hi,
I'm trying to do some computations with p-adics in sage but I'm running
into problems with iterated extensions of Qp.
Defining extensions of Qp works fine, but extensions of extensions never
worked for me.
As an example, I tried the following:
sage: K=Qp(3)
sage: R.<X>=K[]
sage: L.<xi>=K.extension(X^12 + 342/145*X^10 + 189/145*X^8 + 36/29*X^7 +

#11457

taylor.du...@gmail.com (tdupuy) — Thu, 23 Jun 2011 20:21:13 UT

Hi Everybody,

I can't seem to figure out what is wrong here --- I'm new to python
and sage so it might be something easy:

[link]

could someone give me some feedback?

Best,
Taylor

Trac 6084

r...@math.harvard.edu (David Roe) — Fri, 10 Jun 2011 15:15:03 UT

Hi everyone,
After the online Sage Days yesterday, there are now patches at #6084 that
apply against 4.7, build and allow one to create new polynomials. There are
still bugs that I'm working on, and more tests to be written. But I wanted
to get this posted so that anyone interested could try it out and give me

Re: Online p-adics Days

r...@math.harvard.edu (David Roe) — Thu, 09 Jun 2011 13:09:27 UT

We're starting now. You can find us on the IRC channel (
[link]) or IM me at roed...@gmail.com.
David

Re: Real-life p-adic Sage Days

john.crem...@gmail.com (John Cremona) — Wed, 08 Jun 2011 20:59:00 UT

Perhaps avoid these two:
Théorie des nombres et applications, C.I.R.M. Luminy, 16-20 January 2012.
[link]
International Number Theory Conference in Memory of Alf van der
Poorten, Newcastle, Australia, 12-16 March, 2012.