Add method to get proof cell information all at once.

mkoeppe / cutgeneratingfunctionology

Python code for computation and experimentation with cut-generating functions, in particular the Gomory-Johnson infinite group problem. By M. Köppe, Y. Zhou, C.Y. Hong, J. Wang with contributions by undergrad programmers

GNU General Public License v2.0

12 stars 11 forks source link

Add method to get proof cell information all at once. #81

Open ComboProblem opened 1 year ago

ComboProblem commented 1 year ago

Example

sage: K.<vars> = ParametricRealField([inital_data])
sage: h  = gj_function(vars)
sage: extemality_test(h)
sage: proof_cell = K.make_proof_cell()
sage: proof_cell.get_polys()
{ 'lt_poly':  list(proof_cell.bsa.lt_poly()),  'eq_poly' : list(proof_cell.bsa.eq_poly()),   'le_poly' : list(proof_cell.bsa.le_poly())}

This would be an improvement for access data generated and readability to users of the software.