Changes between Version 1 and Version 2 of Ticket #11726


Ignore:
Timestamp:
08/24/11 06:46:59 (10 years ago)
Author:
boothby
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #11726

    • Property Summary changed from Failure to coerce 1/q into its own LaurentPolynomialRing to Implement univariate Laurent polynomial ring & elements
  • Ticket #11726 – Description

    v1 v2  
    1 Consider:
     1At present, the implementation of univariate Laurent polynomials is (self-admittedly) in a sorry state:
    22
    33{{{
    4 sage: P.<q> = LaurentPolynomialRing(QQ)
    5 sage: q in P
    6 True
    7 sage: P(q)
    8 q
    9 sage: q^(-1) in P
    10 True
    11 sage: 1/q in P
    12 False
    13 sage: P(1/q)
     4    ############################################################
     5    # This should later get moved to an actual single variate  #
     6    # implementation with valuation tracking,                  #
     7    # but I don't want to right now.                           #
     8    ############################################################
     9    # We need to come up with a name for the inverse that is easy to search
     10    # for in a string *and* doesn't overlap with the name that we already have.
     11    # For now, I'm going to use a name mangling with checking method.
    1412}}}
    1513
    16 The last statement raises an exception.
    17 
    18 (this is not a duplicate of #7839)
     14This should be fixed.