Skip to content

Conversation

@ComboProblem
Copy link
Contributor

added animated flag to semialgebraic complex plot
fixed bugs with semialgebraic complex plot

fix plotting method in semialgebraic complex with concern to broken z order of parametric plot and region plot.

added animated feature to semialgebraic complex plot
super(BasicSemialgebraicSet_section, self).__init__(base_ring=base_ring, ambient_dim=ambient_dim, names=names, poly_ring=poly_ring)
self._upstairs_bsa = upstairs_bsa
self._polynomial_map = polynomial_map

Copy link
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

keep this empty line

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Changed.

gcd_c = gcd(gcd(coeff), c.inhomogeneous_term())
t = sum(QQ(x)/gcd_c*y for x, y in zip(coeff, self.poly_ring().gens())) + QQ(c.inhomogeneous_term())/gcd_c
yield t
## add tests
Copy link
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Why was this change (test for is_empty) necessary again? Is something wrong with the minimized_constraints?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't remember exactly. I think it was there as a fix from before we knew that BasicSemialgebraicSet_section‎ wasn't stable and when we had fixed that. I've done a few quick tests and it seems like the test for emptiness is not longer necessary.

Copy link
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Let's back out this change then

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I've backed out those changes.

update plot method to use bsa that can prove emptiness fixing a plotting bug where semialgebraic complex would try to plot an empty set

update NCC polyhedron to fix type error that happened when plot method was trying to plot an empty set.
@ComboProblem ComboProblem force-pushed the semialgebraic_complex_plot_and_other_plotting_methods branch from 40c58a9 to 1bdb425 Compare September 19, 2023 19:35
@mkoeppe
Copy link
Owner

mkoeppe commented Sep 21, 2023

please remove the ipynb files from the commits

@ComboProblem ComboProblem force-pushed the semialgebraic_complex_plot_and_other_plotting_methods branch from 4f1355e to 1bdb425 Compare September 29, 2023 19:09
@ComboProblem
Copy link
Contributor Author

I rolled back the changes that I had accidentally introduced. I forgot that I had done this until now.

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants