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:

Status badges

Description (last modified by darij)

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 darij

  • Description modified (diff)

comment:2 Changed 7 years ago by vbraun_spam

  • Milestone changed from sage-6.1 to sage-6.2

comment:3 Changed 7 years ago by vbraun_spam

  • Milestone changed from sage-6.2 to sage-6.3

comment:4 Changed 7 years ago by vbraun_spam

  • Milestone changed from sage-6.3 to sage-6.4
Note: See TracTickets for help on using tickets.