diff --git a/Project.toml b/Project.toml index 211fdd8..ae1fd36 100644 --- a/Project.toml +++ b/Project.toml @@ -1,7 +1,7 @@ name = "DecomposingPolynomialSystems" uuid = "f22b1612-9f73-4f98-889e-ed5396e1a4da" authors = ["Viktor Korotynskiy and contributors"] -version = "1.0.0-DEV" +version = "1.0.0" [deps] AbstractAlgebra = "c3fe647b-3220-5bb0-a1ea-a7954cac585d" diff --git a/README.md b/README.md index f3fe284..0ee571e 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,5 @@ # DecomposingPolynomialSystems.jl -[![BasedOn](https://img.shields.io/badge/Based%20On%20-%20HomotopyContinuation.jl%20-%20brightgreen?color=%23B22222%09)](https://www.juliahomotopycontinuation.org/) [![Dev](https://img.shields.io/badge/docs-dev-blue.svg)](https://multivariatepolynomialsystems.github.io/DecomposingPolynomialSystems.jl/dev) DecomposingPolynomialSystems.jl is a Julia package that computes the symmetries that fix the parameters (specifically, the group of deck transformations) of a parametric polynomial system with finitely many solutions with a view towards decomposing the given polynomial system. diff --git a/src/DecomposingPolynomialSystems.jl b/src/DecomposingPolynomialSystems.jl index df89b35..49fd689 100644 --- a/src/DecomposingPolynomialSystems.jl +++ b/src/DecomposingPolynomialSystems.jl @@ -5,9 +5,6 @@ const HC = HomotopyContinuation using HomotopyContinuation.ModelKit export @var, Variable, Expression, System -# Exports for testing -# export degree - using SparseArrays: SparseVector, SparseMatrixCSC, spzeros, AbstractSparseVector, findnz, sparse using Combinatorics: partitions, multiset_permutations, combinations using LinearAlgebra: nullspace diff --git a/src/deck_transformations.jl b/src/deck_transformations.jl index caf06cc..4a28447 100644 --- a/src/deck_transformations.jl +++ b/src/deck_transformations.jl @@ -623,13 +623,13 @@ function symmetries_fixing_parameters!( logging::Bool=false ) - if length(F.deck_permutations) == 1 # trivial group of symmetries + if length(deck_permutations(F)) == 1 # trivial group of symmetries return DeckTransformationGroup(F) end scalings = _scalings_commuting_with_deck(F, scaling_symmetries(F)) scalings = param_dep ? scalings : restrict_scalings(scalings, unknowns(F)) # TODO: justify! - if isempty(scalings.grading) + if isempty(grading(scalings)) logging && printstyled("Running dense version...\n", color=:green) return symmetries_fixing_parameters_dense!( F; @@ -642,7 +642,7 @@ function symmetries_fixing_parameters!( logging && printstyled("Running graded version...\n", color=:green) return symmetries_fixing_parameters_graded!( F, - scalings; + grading(scalings); degree_bound=degree_bound, tols=tols, logging=logging