Opened 8 years ago
Last modified 7 years ago
#14797 new task
Polynomials over semirings
Reported by: | darij | Owned by: | sage-combinat |
---|---|---|---|
Priority: | major | Milestone: | sage-6.4 |
Component: | combinatorics | Keywords: | |
Cc: | tscrim, sage-combinat | Merged in: | |
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | #14507 | Stopgaps: |
Description (last modified by )
With semirings implemented (#14507), it seems not too wide a stretch to ask for algebraic constructions involving them, such as (semi)algebras over semirings, and polynomials over semirings acting on such semialgebras. This would allow to reuse lots of code written for rings in a semiring context provided there are no minus signs appearing; right now I see two cases where I could use such a thing.
In particular, this should work rather than throwing an ArithmeticError?:
sage: NN = NonNegativeIntegers() sage: T = TropicalSemiring(QQ) sage: NN(2) * T(3)
While the *integer* 2 doesn't canonically act on the tropical semiring, the *nonnegative integer* 2 should.
Change History (4)
comment:1 Changed 8 years ago by
- Description modified (diff)
comment:2 Changed 8 years ago by
- Milestone changed from sage-6.1 to sage-6.2
comment:3 Changed 7 years ago by
- Milestone changed from sage-6.2 to sage-6.3
comment:4 Changed 7 years ago by
- Milestone changed from sage-6.3 to sage-6.4
Note: See
TracTickets for help on using
tickets.