Skip to content

Actions: algebraic-solving/AlgebraicSolving.jl

Actions

Cleanup Doc Preview

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CleanupDocPreview.yml
41 workflow runs
41 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Renames + add deterministic choice of generic linear forms Cleanup Doc Preview #135: Pull request #133 closed by mohabsafey
9s rprebet:fix-curve-param
rprebet:fix-curve-param
9s
Add real root classification Cleanup Doc Preview #134: Pull request #150 closed by mohabsafey
8s wegank:rrc-init
wegank:rrc-init
8s
Update Documenter to 1.17 Cleanup Doc Preview #133: Pull request #154 closed by ederc
8s wegank:documenter-bump
wegank:documenter-bump
8s
Add eco-n examples generator Cleanup Doc Preview #132: Pull request #153 closed by ederc
8s wegank:eco-init
wegank:eco-init
8s
Silent progress by default during rational parametrization Cleanup Doc Preview #131: Pull request #151 closed by mohabsafey
18s wegank:param-param-silent
wegank:param-param-silent
18s
Add multirooted indexed MDD for canonical rewriters Cleanup Doc Preview #130: Pull request #149 closed by ThTer11
9s ThTer11:mdd
ThTer11:mdd
9s
Add parametric ideal and interpolation-based algorithms Cleanup Doc Preview #129: Pull request #146 closed by mohabsafey
10s wegank:param-ideal-init
wegank:param-ideal-init
10s
prepares v0.11.0 including msolve v0.10.1 Cleanup Doc Preview #128: Pull request #147 closed by ederc
1m 55s ederc:v0-11-0
ederc:v0-11-0
1m 55s
Implementation of monomial divisibility diagrams for efficient membership tests Cleanup Doc Preview #127: Pull request #129 closed by RafaelDavidMohr
9s ThTer11:withmdd
ThTer11:withmdd
9s
[DONTMERGE] [WIP] Add RAGlib wrappers Cleanup Doc Preview #126: Pull request #141 closed by wegank
7s wegank:raglib-init-1
wegank:raglib-init-1
7s
chore: bump Nemo dependency Cleanup Doc Preview #125: Pull request #145 closed by ederc
13s thofma:patch-4
thofma:patch-4
13s
Add CAD-based sample points Cleanup Doc Preview #124: Pull request #132 closed by mohabsafey
10s wegank:sample-points-init
wegank:sample-points-init
10s
Allow Nemo.jl v0.55, bump version to 0.10.5 Cleanup Doc Preview #123: Pull request #144 closed by ederc
12s lgoettgens:lg/bump-Nemo
lgoettgens:lg/bump-Nemo
12s
Allow parallel parametrization computations Cleanup Doc Preview #122: Pull request #131 closed by mohabsafey
12s wegank:gb-array-init-4
wegank:gb-array-init-4
12s
Fix a multithreading bug in Newton interpolation Cleanup Doc Preview #121: Pull request #143 closed by mohabsafey
9s wegank:newton-multithread-fix
wegank:newton-multithread-fix
9s
Allow calls to _core_msolve with inputs in msolve format Cleanup Doc Preview #120: Pull request #130 closed by mohabsafey
9s wegank:gb-array-init-3
wegank:gb-array-init-3
9s
Fix bug in Gröbner basis caching Cleanup Doc Preview #119: Pull request #140 closed by mohabsafey
6s wegank:gb-bugfix-1
wegank:gb-bugfix-1
6s
Fix issue when calling _core_groebner_basis_array from Oscar Cleanup Doc Preview #118: Pull request #139 closed by ederc
9s wegank:oscar-array-fix
wegank:oscar-array-fix
9s
Bumps to msolve v0.900.502 Cleanup Doc Preview #117: Pull request #137 closed by ederc
9s ederc:0-900-502
ederc:0-900-502
9s
Bumps to msolve v0.900.502 Cleanup Doc Preview #116: Pull request #137 closed by ederc
10s ederc:0-900-502
ederc:0-900-502
10s
Bump msolve version to 0.9.5 Cleanup Doc Preview #115: Pull request #136 closed by ederc
8s wegank:msolve-bump
wegank:msolve-bump
8s
Bump msolve version to 0.9.5 Cleanup Doc Preview #114: Pull request #136 closed by ederc
7s wegank:msolve-bump
wegank:msolve-bump
7s
Use leading_coefficient from AbstractAlgebra.jl Cleanup Doc Preview #113: Pull request #134 closed by ederc
9s wegank:leading-coefficient-cleanup
wegank:leading-coefficient-cleanup
9s
Add multivariate rational interpolation Cleanup Doc Preview #112: Pull request #122 closed by mohabsafey
9s wegank:cuyt-lee-init
wegank:cuyt-lee-init
9s
Allow parallel Gröbner basis computations Cleanup Doc Preview #111: Pull request #128 closed by ederc
8s wegank:gb-array-init-2
wegank:gb-array-init-2
8s