Connectivity of real algebraic curves by mean of graphs#142

Open

rprebet wants to merge 191 commits intoalgebraic-solving:mainfrom

rprebet:connectPRreal

Commits on Mar 21, 2024

save WIP
Remi Prebet
committed

Commits on Mar 22, 2024

graph
Remi Prebet
committed

Commits on Mar 25, 2024

until plot !
Remi Prebet
committed
end color
Remi Prebet
committed

Commits on May 9, 2024

code sous resultant
Remi Prebet
committed

Commits on May 10, 2024

finish subresultant code
Remi Prebet
committed
list argument subres
Remi Prebet
committed

Commits on May 11, 2024

manage when no singular points
Remi Prebet
committed
refine xboxes
Remi Prebet
committed

Commits on May 12, 2024

move into .jl
Remi Prebet
committed
fix bug graph and square free decomposition
Remi Prebet
committed
changemat
Remi Prebet
committed
Merge remote-tracking branch 'connectcurves/main' into connectcurves
Remi Prebet
committed
cleaning files
Remi Prebet
committed
remove tools.jl
Remi Prebet
committed
split files
Remi Prebet
committed
rename main.jl
Remi Prebet
committed
start full integration
Remi Prebet
committed
graph methods
Remi Prebet
committed
add dependancies
Remi Prebet
committed

Commits on May 15, 2024

compute boxes with msolve
Remi Prebet
committed

Commits on May 18, 2024

improvements
Remi Prebet
committed

Commits on May 20, 2024

add interpolation parmetrization
Remi Prebet
committed
interface with parametrization
Remi Prebet
committed

Commits on May 21, 2024

better change of variables
Remi Prebet
committed

Commits on Aug 5, 2024

maj code connectivity
Remi Prebet
committed

Commits on Aug 6, 2024

sync with the main repo
Remi Prebet
committed

Commits on Aug 13, 2024

function for changing ring variables
Remi Prebet
committed
adapt to new function
Remi Prebet
committed
add option to force using new variables in parametrization
Remi Prebet
committed
add test for singular boxes : mutivariate evaluation
Remi Prebet
committed
comment pythonplot
Remi Prebet
committed

Commits on Aug 27, 2024

integer coeff + display node removal + add control points at the end of the parametrization
Remi Prebet
committed
group abscissa index of control points w.r.t. component
Remi Prebet
committed

Commits on Aug 28, 2024

multiple bug fixes
Remi Prebet
committed
choose the linear form for param
Remi Prebet
committed

Commits on Aug 29, 2024

Commits on Aug 30, 2024

control points in plot_graphS
Remi Prebet
committed
multiple lists of vertices for multiple Pcontrols
Remi Prebet
committed
fix bug in variable order for param
Remi Prebet
committed

Commits on Sep 2, 2024

type of list
Remi Prebet
committed
heuristic for fibers
Remi Prebet
committed
float output + display control + other methods depending the input
Remi Prebet
committed
function for merging graphs
Remi Prebet
committed
function for forcing parametric variable.s for msolve
Remi Prebet
committed

Commits on Sep 3, 2024

adapted data types
Remi Prebet
committed
merge list of graphs
Remi Prebet
committed
more flexible plot functions
Remi Prebet
committed

Commits on Sep 7, 2024

multi-threading with msolve
Remi Prebet
committed
multi-threading for curve parametrization
Remi Prebet
committed
multi-modular subresultant
Remi Prebet
committed

Commits on Sep 16, 2024

tranpose of jac + polarphi
Remi Prebet
committed
export some functions
Remi Prebet
committed
fix invert variable change
Remi Prebet
committed
handle ideal parametrization
Remi Prebet
committed
fix subplots and gui display
Remi Prebet
committed
begin interpolation subresultant + fact gcd
Remi Prebet
committed

Commits on Sep 17, 2024

fix problem arb, refine critical boxes + fix inverse coordinate change
Remi Prebet
committed
significant improvement of isolation + use default usolve
Remi Prebet
committed
fix subplt
Remi Prebet
committed
multiple bugfixes + multi threading on multi-modular subresultants
Remi Prebet
committed
integer coefficient function tool
Remi Prebet
committed
use nextprime from Nemo
Remi Prebet
committed

Commits on Sep 24, 2024

start managing conditionnal printing
Remi Prebet
committed
minor things
Remi Prebet
committed
generalize int_coeffs + macro for conditionnal timing
Remi Prebet
committed
subresultant interpolation + big changes in mmod_subresultant + fix fact_gcd + param_crit_split
Remi Prebet
committed
no product of sqfree factors in param_crit_split
Remi Prebet
committed
maj connect curve with paramcritsplit BUT no refinements yet
Remi Prebet
committed

Commits on Sep 25, 2024

fix infinite refinement
Remi Prebet
committed
Merge branch 'algebraic-solving:main' into connectivity
rprebet
authored
refine boxes for many parametrizations
Remi Prebet
committed
verbose usolve
Remi Prebet
committed
trailing spaces
Remi Prebet
committed
Vertices to subplots
Remi Prebet
committed
Add zero coefficients when not generic subresultant
Remi Prebet
committed
Update with new dict data structure; allow having diverse mult; node are -1
Remi Prebet
committed
maj deps
Remi Prebet
committed

Commits on Sep 26, 2024

manage exact roots when refinment
Remi Prebet
committed
trailing spaces
Remi Prebet
committed
remove printing
Remi Prebet
committed
Manage printing levels + new shortcut functions : plot and nb of components
Remi Prebet
committed
fix typo
Remi Prebet
committed

Commits on Sep 27, 2024

minor
Remi Prebet
committed
change variable order in param
Remi Prebet
committed
apparent singularities
Remi Prebet
committed

Commits on Sep 30, 2024

add change_ringvar for modular base rings
Remi Prebet
committed
export change_ringvar_mod
Remi Prebet
committed
remove variable
Remi Prebet
committed
add detection for app sing, with several modular speedups
Remi Prebet
committed
export appsing related functions for debug
Remi Prebet
committed
Merge branch 'algebraic-solving:main' into connectivity
rprebet
authored

Commits on Oct 16, 2024

build Mpoly function + maj
Remi Prebet
committed
some verbose
Remi Prebet
committed
fix bresultant interface
Remi Prebet
committed
typo
Remi Prebet
committed
temp savefig
Remi Prebet
committed
parrallelize + fix param_newvars
Remi Prebet
committed
fix control points
Remi Prebet
committed
tmp
Remi Prebet
committed
add new function for param + several improvements
Remi Prebet
committed
other param comp (commented) + fix control points
Remi Prebet
committed
Merge branch 'algebraic-solving:main' into connectivity
rprebet
authored

Commits on Mar 30, 2025

maj (mainly verbose)
Remi Prebet
committed

Commits on Apr 10, 2025

first attempt to add query points
Remi Prebet
committed

Commits on Apr 17, 2025

maj from main branch + hilbert + paramcurve
rprebet
committed

Commits on Apr 18, 2025

Commits on Apr 22, 2025

remove custom small_mid_point + debut canny param
rprebet
committed

Commits on Apr 24, 2025

Commits on Apr 28, 2025

remove abstract trees
rprebet
committed

Commits on Jun 26, 2025

merge branch paramcurves
Remi Prebet
committed

Commits on Jun 28, 2025

maj dim nothing
Remi Prebet
committed

Commits on Sep 24, 2025

Merge branch 'algebraic-solving:main' into roadmap
rprebet
authored

Commits on Oct 13, 2025

move RM struct to types.jl + improve internal functions
Remi Prebet
committed

Commits on Oct 14, 2025

start doc + some renamings
Remi Prebet
committed

Commits on Oct 15, 2025

add index list for compute polar
Remi Prebet
committed
doc
Remi Prebet
committed

Commits on Oct 18, 2025

improve genericity checks + choice for determinant function (after some tests)
Remi Prebet
committed
internalize functions that must be
Remi Prebet
committed
rename files
Remi Prebet
committed
change name of roadmap fct + remove code duplication
Remi Prebet
committed
new function for interval query points
Remi Prebet
committed

Commits on Oct 21, 2025

improve and simplify minor computations
rprebet
committed

Commits on Oct 22, 2025

Commits on Nov 4, 2025

start documenting ratparams and roadmaps
rprebet
committed

Commits on Nov 5, 2025

doc for roadmap
rprebet
committed

Commits on Dec 10, 2025

fix args RMnode
rprebet
committed

Commits on Feb 27, 2026

typo
rprebet
committed

Commits on Mar 3, 2026

Commits on Mar 22, 2026

merge
rprebet
committed

Commits on Mar 23, 2026

correction bug in arb conversion
rprebet
committed

Commits on Mar 24, 2026

du nettoyage
rprebet
committed

Commits on Apr 9, 2026

optimize subresultant for finite field
rprebet
committed

Commits on Apr 10, 2026

Commits on Apr 13, 2026

improve and factor build poly
Remi Prebet
committed
factor compute insulating boxes
Remi Prebet
committed
factor and improve box intersection
Remi Prebet
committed
small trucs
Remi Prebet
committed
fixes and TODOs
rprebet
committed
start plot export
rprebet
committed
todo notes
Remi Prebet
committed

Commits on Apr 14, 2026

plot ok, without removing previous
Remi Prebet
committed
big changes in progress
Remi Prebet
committed
new version of whole code with new data structure
Remi Prebet
committed
cleaning remain plot
Remi Prebet
committed
clean a bit everything + some small optimination
Remi Prebet
committed
remove comment
Remi Prebet
committed
clean plots
Remi Prebet
committed
other cleanings
Remi Prebet
committed
keep naive subresultant and paramcrit
Remi Prebet
committed

Commits on Apr 16, 2026

Commits on Apr 17, 2026

Finally get all graph functions
Remi Prebet
committed
introduce arrangement curves (little bug) + several bug fixes
Remi Prebet
committed
several bug fixes
Remi Prebet
committed
docs+ start tests
Remi Prebet
committed
Merge branch 'main' into connectPRreal
rprebet
authored
clean and add inclusion
Remi Prebet
committed

Commits on Apr 20, 2026

fix dependancies
Remi Prebet
committed
change test location
Remi Prebet
committed
remove dependancies
Remi Prebet
committed
update doc
Remi Prebet
committed
remove manifest.toml
Remi Prebet
committed
fix doc and multiple inclusion
Remi Prebet
committed