#6854: Tab completion for elements of InfinitePolynomialRing
-----------------------------------+----------------------------------------
   Reporter:  ncohen               |       Owner:                               
         
       Type:  enhancement          |      Status:  new                          
         
   Priority:  major                |   Milestone:  sage-4.3                     
         
  Component:  commutative algebra  |    Keywords:  tab completion, 
InfinitePolynomialRing
Work_issues:                       |      Author:                               
         
   Upstream:  N/A                  |    Reviewer:                               
         
     Merged:                       |  
-----------------------------------+----------------------------------------
Changes (by SimonKing):

  * keywords:  => tab completion, InfinitePolynomialRing
  * type:  defect => enhancement
  * component:  misc => commutative algebra


Comment:

 Hi Nathann!

 Firstly, as was mentioned by Burcin, you mixed two completely different
 things, namely symbolics and commutative algebra. InfinitePolynomialRing
 is about the latter. It isn't "misc" either, so, I am changing the
 component again.

 Concerning {{{e<3}}} returning {{{True}}}: This is clearly intentional and
 most certainly not a bug. It is essential to have polynomial rings
 ordered, if one wants to compute Gröbner bases -- and this is what
 InfinitePolynomialRing is about.

 Therefore I changed the Summary of the ticket (which was too unspecific
 anyway).

 Concerning TAB completion: It is correct that the custom {{{__getattr__}}}
 is to blame.

 But I just learned something. Namely, if a class has a method
 {{{_getAttributeNames}}} that returns a list of strings, then these are
 used to do auto completion. Apparently methods {{{__members__}}},
 {{{__methods__}}} and {{{trait_names}}} also play a role, but I don't know
 which.

 A possible solution is to implement {{{_getAttributeNames}}} so that it
 returns {{{dir(underlying polynomial)}}}. I just tested: TAB-completion
 will then show ''both'' the genuine attributes of InfinitePolynomials
 ''and'' the attributes inherited from usual polynomials.

 But I don't think that this is a bug. So, I change the ticket type into
 "enhancement", and also added key words.

 I will implement it (after dinner...) and post a patch.

 Cheers,
 Simon

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6854#comment:4>
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