New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

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

Open

ComboProblem opened this issue Jul 20, 2023 · 0 comments

ComboProblem commented Jul 20, 2023

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.

The text was updated successfully, but these errors were encountered:

ComboProblem added a commit to ComboProblem/cutgeneratingfunctionology that referenced this issue


          option semialgebraic complex complent to retrive inequalities in a re…

1756ead

…asonable mannner (issue mkoeppe#81) and a tutorial for basic useage of parametric families (issue mkoeppe#78)

ComboProblem added a commit to ComboProblem/cutgeneratingfunctionology that referenced this issue


          option semialgebraic complex complent to retrive inequalities in a re…

4f1355e

…asonable mannner (issue mkoeppe#81) and a tutorial for basic useage of parametric families (issue mkoeppe#78)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment