Code

experimental: Gröbner Walk#3821

Code

Merged

joschmitt merged 184 commits intooscar-system:masteroscar-system/Oscar.jl:masterfrom

ooinaruhugh:kf/gwalkooinaruhugh/Oscar.jl:kf/gwalkCopy head branch name to clipboard

Sep 5, 2024

Commits

Commits on Feb 15, 2024

• Move Gröbner walk to experimental

  ooinaruhugh

  committed
  8089589

  Copy full SHA for 8089589

• Phase out global infoLevel

  ooinaruhugh

  committed
  9e31ce2

  Copy full SHA for 9e31ce2

• Reformat docstring

  ooinaruhugh

  committed
  86ad34b

  Copy full SHA for 86ad34b

Commits on Mar 20, 2024

• Add GroebnerWalk as rudimentary experimental package

  ooinaruhugh

  committed
  cd6df31

  Copy full SHA for cd6df31

• Fix identation in docstring

  ooinaruhugh

  committed
  fa20268

  Copy full SHA for fa20268

• Fix doctest

  ooinaruhugh

  committed
  a5c6eca

  Copy full SHA for a5c6eca

• Add problematic example that does not work (for now)

  ooinaruhugh

  committed
  b1166bd

  Copy full SHA for b1166bd

• Rename verbosity_scope for this module

  ooinaruhugh

  committed
  931ccdb

  Copy full SHA for 931ccdb

• Change to getter

  ooinaruhugh

  committed
  4272841

  Copy full SHA for 4272841

• Phase out `global infoLevel`

  ooinaruhugh

  committed
  5822ed5

  Copy full SHA for 5822ed5

Commits on Mar 21, 2024

• Reduce redundant docstrings

  ooinaruhugh

  committed
  795b1d4

  Copy full SHA for 795b1d4

• Replace manual computation of maximum

  ooinaruhugh

  committed
  a65b60b

  Copy full SHA for a65b60b

• Add verbosity scope for `groebner_walk`

  ooinaruhugh

  committed
  6dfc46f

  Copy full SHA for 6dfc46f

• Rework `initials` into `initial_form`

  ooinaruhugh

  committed
  c5b7eee

  Copy full SHA for c5b7eee

• Simplify `standard_step`

  ooinaruhugh

  committed
  1c1eabb

  Copy full SHA for 1c1eabb

• Reduce amount of Matrix<->MonomialOrdering conversions

  ooinaruhugh

  committed
  1374f3f

  Copy full SHA for 1374f3f

Commits on Mar 25, 2024

• added lift comment

  fpnowell

  committed
  7eec7d8

  Copy full SHA for 7eec7d8

Commits on Mar 26, 2024

• commented lift, interreduce and next_weight

  fpnowell

  committed
  30ad7e7

  Copy full SHA for 30ad7e7

Commits on Mar 27, 2024

• Add some exports

  ooinaruhugh

  committed
  d524c8f

  Copy full SHA for d524c8f

• Renaming

  ooinaruhugh

  committed
  41ec234

  Copy full SHA for 41ec234

• Add toy example

  ooinaruhugh

  committed
  ee7195a

  Copy full SHA for ee7195a

• Resolved questions

  ooinaruhugh

  committed
  bca3691

  Copy full SHA for bca3691

Commits on Apr 2, 2024

• added comments, examples and facet_preorder

  fpnowell

  committed
  a7d0e08

  Copy full SHA for a7d0e08

Commits on Apr 5, 2024

• added folder new_generic_walk

  fpnowell

  committed
  e0e164f

  Copy full SHA for e0e164f

• removed old dependencies

  fpnowell

  committed
  ddfeaf2

  Copy full SHA for ddfeaf2

Commits on Apr 16, 2024

• Make this thing standalone

  ooinaruhugh

  committed
  b7a4db2

  Copy full SHA for b7a4db2

Commits on Apr 17, 2024

• Change order of `groebner_walk` arguments to most likely to be set by user

  ooinaruhugh

  committed
  f649eda

  Copy full SHA for f649eda

• Remove unused argument

  ooinaruhugh

  committed
  c721bbd

  Copy full SHA for c721bbd

• Remove a `while true` loop

  ooinaruhugh

  committed
  149a4c0

  Copy full SHA for 149a4c0

• Import some stuff from OSCAR

  ooinaruhugh

  committed
  0b7bc5d

  Copy full SHA for 0b7bc5d

• Enable debug print

  ooinaruhugh

  committed
  119f367

  Copy full SHA for 119f367

• Cleanup generic and perturbed walks

  ooinaruhugh

  committed
  5458d20

  Copy full SHA for 5458d20

Commits on Apr 18, 2024

• Add README.md

  ooinaruhugh

  committed
  f871064

  Copy full SHA for f871064

• Move some Standard walk procedures to own file

  ooinaruhugh

  committed
  0a07f83

  Copy full SHA for 0a07f83

• Rename `difference_lead_tail` to `bounding_vectors`

  ooinaruhugh

  committed
  6d5a136

  Copy full SHA for 6d5a136

• Don't compute lead_exp twice(?)

  ooinaruhugh

  committed
  bdba49b

  Copy full SHA for bdba49b

• Move perturbed_walk

  ooinaruhugh

  committed
  b97b5b0

  Copy full SHA for b97b5b0

• Move to `perturbed_walk.jl`

  ooinaruhugh

  committed
  a2fe385

  Copy full SHA for a2fe385

Commits on Apr 19, 2024

• removed new_generic_walk, added markedGB generic walk

  fpnowell

  committed
  476f332

  Copy full SHA for 476f332

• Remove `infoLevel`

  ooinaruhugh

  committed
  dac4725

  Copy full SHA for dac4725

• Merge branch 'main' of github.com:ooinaruhugh/GroebnerWalk.jl

  fpnowell

  committed
  939918f

  Copy full SHA for 939918f

• Merge branch 'main' of github.com:ooinaruhugh/GroebnerWalk.jl

  fpnowell

  committed
  a3c9829

  Copy full SHA for a3c9829

• cleaning up

  Show description for 383aee5
  

  fpnowell

  and

  ooinaruhugh

  committed
  383aee5

  Copy full SHA for 383aee5

• Clean up

  fpnowell

  committed
  c792aff

  Copy full SHA for c792aff

• Add a docstring

  fpnowell

  committed
  ebeebcc

  Copy full SHA for ebeebcc

• Clean up

  fpnowell

  committed
  43f0f93

  Copy full SHA for 43f0f93

• Separate the files

  ooinaruhugh

  committed
  89f39ec

  Copy full SHA for 89f39ec

• Polish words

  ooinaruhugh

  committed
  536c237

  Copy full SHA for 536c237

• Add simple benchmark

  ooinaruhugh

  committed
  32b73ae

  Copy full SHA for 32b73ae

• Fix typo

  ooinaruhugh

  committed
  99e87e4

  Copy full SHA for 99e87e4

• Move agk4

  ooinaruhugh

  committed
  895300d

  Copy full SHA for 895300d

• Change benchmark

  ooinaruhugh

  committed
  e934701

  Copy full SHA for e934701

• Cleanup

  ooinaruhugh

  committed
  0ce1333

  Copy full SHA for 0ce1333

Commits on Apr 20, 2024

• clean up: commented out new "divide"

  fpnowell

  committed
  8586ab0

  Copy full SHA for 8586ab0

• cleaning up, made lift_generic lighter

  fpnowell

  committed
  4f2b3b2

  Copy full SHA for 4f2b3b2

• Merge branch 'main'

  fpnowell

  committed
  d3fed20

  Copy full SHA for d3fed20

Commits on Apr 21, 2024

• Add LICENSE and README

  ooinaruhugh

  committed
  4b5c41e

  Copy full SHA for 4b5c41e

• Clean up the benchmark code

  ooinaruhugh

  committed
  8aa0cac

  Copy full SHA for 8aa0cac

• Rename `markedGB` to `MarkedGröbnerBasis`

  ooinaruhugh

  committed
  b9bd2ff

  Copy full SHA for b9bd2ff

• Cleanup

  ooinaruhugh

  committed
  6d1e051

  Copy full SHA for 6d1e051

• Rename `markedGB` to `MarkedGroebnerBasis`

  ooinaruhugh

  committed
  b8c2c61

  Copy full SHA for b8c2c61

• Avoid unnecessary copies in `facet_initials`

  ooinaruhugh

  committed
  3a8adcb

  Copy full SHA for 3a8adcb

• Change order of arguments in example

  ooinaruhugh

  committed
  bbe04e6

  Copy full SHA for bbe04e6

• Speed up generic_walk!!

  ooinaruhugh

  committed
  0cd5107

  Copy full SHA for 0cd5107

• Document code

  ooinaruhugh

  committed
  cdd99c0

  Copy full SHA for cdd99c0

• Cleanup examples

  ooinaruhugh

  committed
  d178fe3

  Copy full SHA for d178fe3

• Fix difference_lead_tail for good

  ooinaruhugh

  committed
  9a1add4

  Copy full SHA for 9a1add4

• Scale down difference_lead_tail vectors and get rid of the zero issue

  ooinaruhugh

  committed
  b3e414c

  Copy full SHA for b3e414c

• Add debug output

  ooinaruhugh

  committed
  f80ac77

  Copy full SHA for f80ac77

• Touch `convert_bounding_vector`

  ooinaruhugh

  committed
  d97564b

  Copy full SHA for d97564b

Commits on Apr 22, 2024

• Expect vector of polynomials in final step of `groebner_walk`

  ooinaruhugh

  committed
  2bd0827

  Copy full SHA for 2bd0827

• Return only the gens, not an entire Gröbner basis

  ooinaruhugh

  committed
  ae6597c

  Copy full SHA for ae6597c

• Rename `interreduce_walk` to `autoreduce`

  ooinaruhugh

  committed
  eed5734

  Copy full SHA for eed5734

• Return `gens(G)`

  ooinaruhugh

  committed
  c7353d8

  Copy full SHA for c7353d8

• Add examples

  fpnowell

  committed
  628921c

  Copy full SHA for 628921c

• Push intermediate benchmarking results

  ooinaruhugh

  committed
  00feffe

  Copy full SHA for 00feffe

Commits on Apr 23, 2024

• Add the benchmarks

  ooinaruhugh

  committed
  73f188f

  Copy full SHA for 73f188f

Commits on Apr 24, 2024

• Add some benchmarks

  ooinaruhugh

  committed
  7c78d04

  Copy full SHA for 7c78d04

• Move benchmarks

  ooinaruhugh

  committed
  235c2dc

  Copy full SHA for 235c2dc

• Move examples around

  ooinaruhugh

  committed
  90ae694

  Copy full SHA for 90ae694

• Edit README.md

  ooinaruhugh

  committed
  5c5d01f

  Copy full SHA for 5c5d01f

• Clean up examples

  ooinaruhugh

  committed
  e4c5ef9

  Copy full SHA for e4c5ef9

• Fix typo

  ooinaruhugh

  committed
  41dfa19

  Copy full SHA for 41dfa19

Commits on Apr 25, 2024

• Clean up exports

  ooinaruhugh

  committed
  d106deb

  Copy full SHA for d106deb

• Clean up benchmarks

  ooinaruhugh

  committed
  9881171

  Copy full SHA for 9881171

• Change `_normal_form` to use `MPolyBuildCtx`

  ooinaruhugh

  committed
  fa49ac6

  Copy full SHA for fa49ac6

• Remove unnecessary if condition

  ooinaruhugh

  committed
  070a8c8

  Copy full SHA for 070a8c8

• Add docstrings

  ooinaruhugh

  committed
  6ab19dc

  Copy full SHA for 6ab19dc

• Clean up

  ooinaruhugh

  committed
  3fbd844

  Copy full SHA for 3fbd844

• Add DOI to README.md

  ooinaruhugh

  authored
  3237404

  Copy full SHA for 3237404

• Add DOI to README.md

  ooinaruhugh

  authored
  6430447

  Copy full SHA for 6430447

• Bump version number

  ooinaruhugh

  committed
  e5709d6

  Copy full SHA for e5709d6

Commits on May 29, 2024

• Change default perturbation degree to n

  ooinaruhugh

  committed
  735c024

  Copy full SHA for 735c024

• Fix perturbed walk, it actually perturbs now

  ooinaruhugh

  committed
  b1b033e

  Copy full SHA for b1b033e

• Change some argument types

  ooinaruhugh

  committed
  534dc01

  Copy full SHA for 534dc01

• Autoreduce returns a Groebner basis

  ooinaruhugh

  committed
  4dfe318

  Copy full SHA for 4dfe318

• Add some diagnostics printing to standard_walk

  ooinaruhugh

  committed
  7512437

  Copy full SHA for 7512437

• Add perturbed_walk to benchmarks

  ooinaruhugh

  committed
  06712c8

  Copy full SHA for 06712c8

• Add diagnostic printing to generic_walk

  ooinaruhugh

  committed
  4ffb2e4

  Copy full SHA for 4ffb2e4

• Add diagnostic printing to perturbed_walk

  ooinaruhugh

  committed
  8058a40

  Copy full SHA for 8058a40

Commits on Jun 3, 2024

• Remove redundant assignment

  ooinaruhugh

  committed
  73e7cda

  Copy full SHA for 73e7cda

• Rename walk.jl to common.jl and clean up

  ooinaruhugh

  committed
  2adc1d3

  Copy full SHA for 2adc1d3

• Clean up

  ooinaruhugh

  committed
  2b34cbc

  Copy full SHA for 2b34cbc

• Add comments for missing docstrings

  ooinaruhugh

  committed
  df70101

  Copy full SHA for df70101

• Bump to v1.0.1

  ooinaruhugh

  committed
  3cd62f2

  Copy full SHA for 3cd62f2

• Remove redundant `exponent_vectors` function

  ooinaruhugh

  committed
  aedf209

  Copy full SHA for aedf209

Commits on Jun 5, 2024

• Update docstrings

  ooinaruhugh

  committed
  fb4e777

  Copy full SHA for fb4e777

Commits on Jun 8, 2024

• Make some iterations more readable

  ooinaruhugh

  committed
  81ac28a

  Copy full SHA for 81ac28a

Commits on Jul 23, 2024

• Remove old large tests

  ooinaruhugh

  committed
  999418f

  Copy full SHA for 999418f

• added standard walk tests

  fpnowell

  committed
  2c23b61

  Copy full SHA for 2c23b61

• Fix errors from CI

  ooinaruhugh

  committed
  8af2707

  Copy full SHA for 8af2707

• Remove redundant runtests

  ooinaruhugh

  committed
  4770760

  Copy full SHA for 4770760

• Move definitions into testset

  ooinaruhugh

  committed
  916216f

  Copy full SHA for 916216f

• Update experimental/GroebnerWalk/src/GroebnerWalk.jl

  Show description for 35bc3ff
  

  ooinaruhugh

  and

  lgoettgens

  committed
  35bc3ff

  Copy full SHA for 35bc3ff

• Update experimental/GroebnerWalk/benchmark/agk.jl

  Show description for 921cfca
  

  ooinaruhugh

  and

  lgoettgens

  committed
  921cfca

  Copy full SHA for 921cfca

• Update experimental/GroebnerWalk/benchmark/cyclic.jl

  Show description for 21d1d27
  

  ooinaruhugh

  and

  lgoettgens

  committed
  21d1d27

  Copy full SHA for 21d1d27

• Add newlines to end of file

  ooinaruhugh

  committed
  0b70da0

  Copy full SHA for 0b70da0

• Add Manifest.toml for reproducibility of examples and benchmarks

  ooinaruhugh

  committed
  5ea1f23

  Copy full SHA for 5ea1f23

Commits on Aug 2, 2024

• Add 'experimental/GroebnerWalk/' from commit '5ea1f2321bd128cadc5e6e9b0406a5f3d07d4fcf'

  Show description for 7ddee42
  ooinaruhugh

  committed
  7ddee42

  Copy full SHA for 7ddee42

• Remove standalone Julia package files

  ooinaruhugh

  committed
  950a1f9

  Copy full SHA for 950a1f9

• Remove standalone Julia package files

  ooinaruhugh

  committed
  d12ab9e

  Copy full SHA for d12ab9e

• Move weight_ordering

  ooinaruhugh

  committed
  c8e6625

  Copy full SHA for c8e6625

• Move weight_ordering

  ooinaruhugh

  committed
  0de61a3

  Copy full SHA for 0de61a3

• Change parameter type for weight_ordering to `<:IntegerUnion`

  ooinaruhugh

  committed
  b13af3f

  Copy full SHA for b13af3f

• Update common.jl

  Show description for 91e1ce1
  

  ooinaruhugh

  and

  lgoettgens

  committed
  91e1ce1

  Copy full SHA for 91e1ce1

• Update common.jl

  Show description for f4e192f
  

  ooinaruhugh

  and

  lgoettgens

  committed
  f4e192f

  Copy full SHA for f4e192f

• Preliminary version of documentation

  ooinaruhugh

  committed
  0add3aa

  Copy full SHA for 0add3aa

• Preliminary version of documentation

  ooinaruhugh

  committed
  32c61e0

  Copy full SHA for 32c61e0

• Add citations

  ooinaruhugh

  committed
  5f0d7a6

  Copy full SHA for 5f0d7a6

• Add citations

  ooinaruhugh

  committed
  29c76c5

  Copy full SHA for 29c76c5

• Update doctests

  ooinaruhugh

  committed
  e1ffd64

  Copy full SHA for e1ffd64

• Update doctests

  ooinaruhugh

  committed
  d622ad2

  Copy full SHA for d622ad2

• Rename is_same_groebner_cone

  ooinaruhugh

  committed
  fc2a7dc

  Copy full SHA for fc2a7dc

• Rename is_same_groebner_cone

  ooinaruhugh

  committed
  96e4a4d

  Copy full SHA for 96e4a4d

• Fix docstring

  ooinaruhugh

  committed
  654d999

  Copy full SHA for 654d999

• Fix docstring

  ooinaruhugh

  committed
  652d437

  Copy full SHA for 652d437

• Export groebner_walk from experimental module

  Show description for 890971f
  

  ooinaruhugh

  and

  lgoettgens

  committed
  890971f

  Copy full SHA for 890971f

• Export groebner_walk from experimental module

  Show description for ac2216a
  

  ooinaruhugh

  and

  lgoettgens

  committed
  ac2216a

  Copy full SHA for ac2216a

• Make use of TropicalGeometry/groebner_lift

  ooinaruhugh

  committed
  c1afb3c

  Copy full SHA for c1afb3c

• Make use of TropicalGeometry/groebner_lift

  ooinaruhugh

  committed
  9a7ed94

  Copy full SHA for 9a7ed94

• Update generic_walk.jl

  Show description for 191382f
  

  ooinaruhugh

  and

  lgoettgens

  committed
  191382f

  Copy full SHA for 191382f

• Update generic_walk.jl

  Show description for 4c4556c
  

  ooinaruhugh

  and

  lgoettgens

  committed
  4c4556c

  Copy full SHA for 4c4556c

• Update generic_walk.jl

  Show description for b4b483f
  

  ooinaruhugh

  and

  lgoettgens

  committed
  b4b483f

  Copy full SHA for b4b483f

• Update generic_walk.jl

  Show description for 2377132
  

  ooinaruhugh

  and

  lgoettgens

  committed
  2377132

  Copy full SHA for 2377132

• Add citations

  ooinaruhugh

  committed
  26b3c3b

  Copy full SHA for 26b3c3b

• Add citations

  ooinaruhugh

  committed
  571aa9d

  Copy full SHA for 571aa9d

• Update generic_walk.jl

  Show description for 43010c7
  

  ooinaruhugh

  and

  lgoettgens

  committed
  43010c7

  Copy full SHA for 43010c7

• Update generic_walk.jl

  Show description for b141a8f
  

  ooinaruhugh

  and

  lgoettgens

  committed
  b141a8f

  Copy full SHA for b141a8f

• Update markedGB.jl

  Show description for 239ad7b
  

  ooinaruhugh

  and

  lgoettgens

  committed
  239ad7b

  Copy full SHA for 239ad7b

• Update markedGB.jl

  Show description for 394b200
  

  ooinaruhugh

  and

  lgoettgens

  committed
  394b200

  Copy full SHA for 394b200

• Separate a statement

  ooinaruhugh

  committed
  fbd690b

  Copy full SHA for fbd690b

• Separate a statement

  ooinaruhugh

  committed
  e6a5e83

  Copy full SHA for e6a5e83

• Remove 'using GroebnerWalk'

  ooinaruhugh

  committed
  afcbbee

  Copy full SHA for afcbbee

• Remove 'using GroebnerWalk'

  ooinaruhugh

  committed
  a628121

  Copy full SHA for a628121

• Add tests for generic_walk

  ooinaruhugh

  committed
  112be07

  Copy full SHA for 112be07

• Add tests for generic_walk

  ooinaruhugh

  committed
  f5a5558

  Copy full SHA for f5a5558

• Modify benchmarks

  ooinaruhugh

  committed
  777e6d8

  Copy full SHA for 777e6d8

• Modify benchmarks

  ooinaruhugh

  committed
  d18672f

  Copy full SHA for d18672f

• Move benchmark polynomial systems

  ooinaruhugh

  committed
  66d0891

  Copy full SHA for 66d0891

• Move benchmark polynomial systems

  ooinaruhugh

  committed
  2630f6c

  Copy full SHA for 2630f6c

• Remove thesisexamples

  ooinaruhugh

  committed
  354ea0a

  Copy full SHA for 354ea0a

• Remove thesisexamples

  ooinaruhugh

  committed
  29b1ad4

  Copy full SHA for 29b1ad4

• Expose newell_patch

  ooinaruhugh

  committed
  014397a

  Copy full SHA for 014397a

• Expose newell_patch

  ooinaruhugh

  committed
  197d895

  Copy full SHA for 197d895

• Update GroebnerWalk/README.md

  ooinaruhugh

  committed
  396a30c

  Copy full SHA for 396a30c

• Update GroebnerWalk/README.md

  ooinaruhugh

  committed
  0c0d5c6

  Copy full SHA for 0c0d5c6

• Update README.md

  ooinaruhugh

  committed
  63889f5

  Copy full SHA for 63889f5

• Update README.md

  ooinaruhugh

  committed
  6607667

  Copy full SHA for 6607667

• Update example to use exported ideal

  ooinaruhugh

  committed
  4bf43f1

  Copy full SHA for 4bf43f1

• Update example to use exported ideal

  ooinaruhugh

  committed
  32ae296

  Copy full SHA for 32ae296

• Add newline at end of file

  ooinaruhugh

  committed
  bc596e2

  Copy full SHA for bc596e2

• Add newline at end of file

  ooinaruhugh

  committed
  fd45cc0

  Copy full SHA for fd45cc0

• Properly export newell_patch_with_orderings

  ooinaruhugh

  committed
  9f62667

  Copy full SHA for 9f62667

• Properly export newell_patch_with_orderings

  ooinaruhugh

  committed
  37832b3

  Copy full SHA for 37832b3

Commits on Aug 3, 2024

• Add documentation

  ooinaruhugh

  committed
  3ade7a5

  Copy full SHA for 3ade7a5

• Add documentation

  ooinaruhugh

  committed
  5b81d11

  Copy full SHA for 5b81d11

• Better input sanitation

  ooinaruhugh

  committed
  6f4cfff

  Copy full SHA for 6f4cfff

• Better input sanitation

  ooinaruhugh

  committed
  0428526

  Copy full SHA for 0428526

• Add type parameter to MarkedGroebnerBasis

  ooinaruhugh

  committed
  e7c1bb6

  Copy full SHA for e7c1bb6

• Merge commit 'e7c1bb607d5f18cf87e81af12007d327aa840fc0' into kf/gwalk

  ooinaruhugh

  committed
  43234ef

  Copy full SHA for 43234ef

Commits on Aug 4, 2024

• Add missing type parameter for MarkedGroebnerBasis

  ooinaruhugh

  committed
  2465ebe

  Copy full SHA for 2465ebe

• Clean up benchmarks

  ooinaruhugh

  committed
  074f160

  Copy full SHA for 074f160

• Add documentation for a special ideal

  ooinaruhugh

  committed
  e462768

  Copy full SHA for e462768

Commits on Aug 5, 2024

• Fix missing docstring

  ooinaruhugh

  committed
  c4d9d68

  Copy full SHA for c4d9d68