Opened 5 years ago

Closed 5 years ago

#15670 closed defect (fixed)

eliminate_linear_variables() may increase degree

Reported by: malb Owned by:
Priority: major Milestone: sage-6.3
Component: commutative algebra Keywords: polybori, sd59
Cc: PolyBoRi, AlexanderDreyer, Bouillaguet Merged in:
Authors: Martin Albrecht Reviewers: Miguel Marco
Report Upstream: None of the above - read trac for reasoning. Work issues:
Branch: fcd7ed2 (Commits) Commit: fcd7ed2f4df85e79a60fec73a0cb367ab872eb89
Dependencies: Stopgaps:

Description

eliminate_linear_variabels() may call polynomial.eliminate.ll which in turn may increase the degree. This shouldn't happen (by default).

See http://sourceforge.net/p/polybori/mailman/message/31837206/

Change History (10)

comment:1 Changed 5 years ago by malb

  • Type changed from PLEASE CHANGE to defect

comment:2 Changed 5 years ago by malb

  • Branch set to u/malb/polybori_ll_eliminate_deg
  • Commit set to 1bbbb30b8a2c8af8899b92e71342a8ab2f93023e
  • Status changed from new to needs_review

New commits:

1bbbb30prevent increased degrees in eliminate_linear_variables()

comment:3 Changed 5 years ago by vbraun_spam

  • Milestone changed from sage-6.1 to sage-6.2

comment:4 Changed 5 years ago by vbraun_spam

  • Milestone changed from sage-6.2 to sage-6.3

comment:5 Changed 5 years ago by malb

anyone up for reviewing this?

comment:6 Changed 5 years ago by malb

  • Keywords sd59 added

comment:7 Changed 5 years ago by saraedum

  • Authors set to Martin Albrecht

comment:8 Changed 5 years ago by malb

  • Branch changed from u/malb/polybori_ll_eliminate_deg to u/malb/t15670_polybori_ll_eliminate_deg
  • Commit changed from 1bbbb30b8a2c8af8899b92e71342a8ab2f93023e to fcd7ed2f4df85e79a60fec73a0cb367ab872eb89

New commits:

1bbbb30prevent increased degrees in eliminate_linear_variables()
3ae575aMerge branch 'develop' of trac.sagemath.org:sage into u/malb/t15670_polybori_ll_eliminate_deg
fcd7ed2document behaviour if system is inconsistent

comment:9 Changed 5 years ago by mmarco

  • Reviewers set to Miguel Marco
  • Status changed from needs_review to positive_review

comment:10 Changed 5 years ago by vbraun

  • Branch changed from u/malb/t15670_polybori_ll_eliminate_deg to fcd7ed2f4df85e79a60fec73a0cb367ab872eb89
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.