#15311: Implement the classical Hall algebra and polynomials
--------------------------------------------+----------------------------
       Reporter:  tscrim                    |        Owner:  tscrim
           Type:  enhancement               |       Status:  needs_review
       Priority:  major                     |    Milestone:  sage-5.13
      Component:  algebra                   |   Resolution:
       Keywords:  Hall algebra polynomials  |    Merged in:
        Authors:  Travis Scrimshaw          |    Reviewers:
Report Upstream:  N/A                       |  Work issues:
         Branch:                            |       Commit:
   Dependencies:  #15305                    |     Stopgaps:
--------------------------------------------+----------------------------

Old description:

> Implements the classical Hall algebra and the corresponding Hall
> polynomials.
>
> Apply:
>
> * [attachment:trac_15311-hall_algebras-ts.patch]
> * [attachment:trac_15311-rev-dg.patch]

New description:

 Implements the classical Hall algebra and the corresponding Hall
 polynomials.

 Apply:

 * [attachment:trac_15311-hall_algebras-ts.patch]

--

Comment (by tscrim):

 I was trying out new spellings of my names, and then copy/paste fun! XP

 So I've folded in your review patch and made the following changes:

 - Fixed a bug so computations work for prime powers (I forgot to pass
 `self._q` to `hall_polynomial()`). This uncovered another problem, that
 [univariate] Laurent polynomials don't divide like the should (see
 #11726), so I changed all of the tests to use the fraction field.
 - Fixed the coercion.
 - Made `HallAlgebra` lazily imported.
 - Improved the doc and added some more doctests.

 I didn't want to make this depend on #11726 since functionally it will
 work when Laurent polynomials do the division like they should (although
 it is ''horrendously'' slow with the current #11726 patch).

 For patchbot:

 Apply: trac_15311-hall_algebra-ts.patch

--
Ticket URL: <http://trac.sagemath.org/ticket/15311#comment:7>
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 unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to