Opened 12 years ago

Last modified 12 years ago

#9717 closed defect

fix variable substitution in PolyBoRi — at Initial Version

Reported by: Martin Albrecht Owned by: Martin Albrecht
Priority: critical Milestone: sage-4.5.3
Component: commutative algebra Keywords:
Cc: PolyBoRi team, Alexander Dreyer, Leif Leonhardy, Mitesh Patel Merged in:
Authors: Reviewers:
Report Upstream: Fixed upstream, in a later stable release. Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

For some inputs ourPolyBoRi? wrapper throws an error while upstream computes the example just fine. The reason we fail is that some rings don't match and thus coercion goes wrong. The problem was reported by Joan Daemen who also provided an example via private communication. 

Change History (0)

Note: See TracTickets for help on using tickets.