#4376: Implement conversion of power series over more rings (e.g. GF(p)) to pari
----------------------------------------------+-----------------------------
   Reporter:  cremona                         |       Owner:  was               
  
       Type:  enhancement                     |      Status:  needs_work        
  
   Priority:  major                           |   Milestone:  sage-4.6.2        
  
  Component:  interfaces                      |    Keywords:  power series pari 
gp
     Author:  Francis Clarke, Jeroen Demeyer  |    Upstream:  N/A               
  
   Reviewer:  Marco Streng                    |      Merged:                    
  
Work_issues:                                  |  
----------------------------------------------+-----------------------------
Changes (by mstreng):

  * status:  needs_review => needs_work


Old description:

> [email protected] would like to be able to do linear algebra over
> {{{GF(p)[[X]]}}} using pari, but currently conversion of power series in
> {{{R[[X]]}}} to pari is only implemented when R=QQ or R=ZZ (via strings).
>
> We should improve the _pari_() function for power series rings to allow R
> to be any ring in which pari conversion is already defined.

New description:

 [email protected] would like to be able to do linear algebra over
 {{{GF(p)[[X]]}}} using pari, but currently conversion of power series in
 {{{R[[X]]}}} to pari is only implemented when R=QQ or R=ZZ (via strings).

 We should improve the _pari_() function for power series rings to allow R
 to be any ring in which pari conversion is already defined.

 Depends on #7644

--

Comment:

 On lines 316 and 317 of sage/rings/polynomial/polynomial_ring.py, you
 write
 {{{
 except (NotImplementedError, ValueError):
     raise TypeError, "denominator must be a unit"
 }}}
 I don't think a {{{NotImplementedError}}} should lead to a
 {{{TypeError}}}: that would give a lot of confusion.

 Otherwise, this all looks very good.

 (this ticket now depends on #7644)

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4376#comment:13>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sage-trac?hl=en.

Reply via email to