Implement univariate Laurent polynomial ring & elements

[boothby]

At present, the implementation of univariate Laurent polynomials is (self-admittedly) in a sorry state:

    ############################################################
    # This should later get moved to an actual single variate  #
    # implementation with valuation tracking,                  #
    # but I don't want to right now.                           #
    ############################################################
    # We need to come up with a name for the inverse that is easy to search
    # for in a string *and* doesn't overlap with the name that we already have.
    # For now, I'm going to use a name mangling with checking method.

This should be fixed.

Apply: attachment: trac_11726-univariate_Laurent_polynomials-ts.patch​

Depends on #14261
Depends on #15345
Depends on #15450
Depends on #15843

CC: @AndrewAtLarge @rwst

Component: commutative algebra

Keywords: sd32, Laurent polynomials

Author: Tom Boothby

Branch/Commit: e27a420

Reviewer: Travis Scrimshaw, Ralf Stephan, Frédéric Chapoton

Issue created by migration from https://trac.sagemath.org/ticket/11726

[boothby]

Changed keywords from none to days32

[boothby]

Changed keywords from days32 to sd32

[boothby]

comment:5

Attachment: trac_11726.patch.gz

[boothby]

Author: Tom Boothby

[loefflerd]

comment:7

This doesn't pass doctests on any recent version of Sage (see patchbot logs)

[loefflerd]

Reviewer: PatchBot

[tscrim]

Attachment: trac_11726-univariate_Laurent_polynomials-ts.patch.gz

[tscrim]

Dependencies: #14261

[tscrim]

comment:10

Here's a new version of the patch which applies on sage-5.12.beta5 and depends on #14261 (which is currently being reviewed). This also fixes many things that annoy me with when working with Laurent polynomials, it particular division and simplification in the fraction field.

For patchbot:

Apply: trac_11726-univariate_Laurent_polynomials-ts.patch​

[tscrim]

Changed reviewer from PatchBot to Travis Scrimshaw

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

f2e6a35

trac #11726 fix one doctest in the en tutorial for kazhdan lusztig polys

[sagetrac-git]

Changed commit from a4e0190 to f2e6a35

[fchapoton]

comment:24

I have corrected the doctest.

[vbraun]

comment:25

I think there was more than one, please test.

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

1bac8e5

trac #11726 correct the other doctest in tutorial

[sagetrac-git]

Changed commit from f2e6a35 to 1bac8e5

[rwst]

comment:27

Confirm all tutorial tests pass. Oh well, good catch...

[vbraun]

comment:28

sage -t --long src/sage/algebras/hall_algebra.py  # 13 doctests failed
sage -t --long src/sage/groups/braid.py  # 8 doctests failed

[sagetrac-git]

Changed commit from 1bac8e5 to eb09160

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

e07c76e	Merge branch 'public/ticket/11726' of trac.sagemath.org:sage into 11726
eb09160	trac #11726 implement floordiv for laurent polys in one variable

[sagetrac-git]

Changed commit from eb09160 to e27a420

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

e27a420

trac #11726 one failing doctest corrected

[fchapoton]

comment:31

I have implemented a __floordiv__ method for Laurent polynomials in one variable, and corrected the doctests. Needs review.

[tscrim]

Changed reviewer from Travis Scrimshaw, Ralf Stephan to Travis Scrimshaw, Ralf Stephan, Frédéric Chapoton

[tscrim]

comment:32

You seem to have this uncanny ability to do things the night (well for me at least) before I'm going to do them.

[vbraun]

Changed branch from public/ticket/11726 to e27a420