Skip to content

Commit 26035e0

Browse files
rprebetrprebet
committed
remove dimension =1 when positive dimension in _core_msolve
1 parent 534d635 commit 26035e0

File tree

3 files changed

+231
-3
lines changed

3 files changed

+231
-3
lines changed

‎Manifest.toml‎

Lines changed: 230 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,230 @@
1+
# This file is machine-generated - editing it directly is not advised
2+
3+
julia_version = "1.10.9"
4+
manifest_format = "2.0"
5+
project_hash = "01a5a21648e7a6feb2257a89ea6cec0efbce1742"
6+
7+
[[deps.AbstractAlgebra]]
8+
deps = ["LinearAlgebra", "MacroTools", "Preferences", "Random", "RandomExtensions", "SparseArrays"]
9+
git-tree-sha1 = "38c53247c158cebf59d407b5648f76e3077ef393"
10+
uuid = "c3fe647b-3220-5bb0-a1ea-a7954cac585d"
11+
version = "0.44.11"
12+
13+
[deps.AbstractAlgebra.extensions]
14+
TestExt = "Test"
15+
16+
[deps.AbstractAlgebra.weakdeps]
17+
Requires = "ae029012-a4dd-5104-9daa-d747884805df"
18+
Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
19+
20+
[[deps.Artifacts]]
21+
uuid = "56f22d72-fd6d-98f1-02f0-08ddc0907c33"
22+
23+
[[deps.Base64]]
24+
uuid = "2a0f44e3-6c83-55bd-87e4-b1978d98bd5f"
25+
26+
[[deps.BenchmarkTools]]
27+
deps = ["Compat", "JSON", "Logging", "Printf", "Profile", "Statistics", "UUIDs"]
28+
git-tree-sha1 = "e38fbc49a620f5d0b660d7f543db1009fe0f8336"
29+
uuid = "6e4b80f9-dd63-53aa-95a3-0cdb28fa8baf"
30+
version = "1.6.0"
31+
32+
[[deps.Compat]]
33+
deps = ["TOML", "UUIDs"]
34+
git-tree-sha1 = "8ae8d32e09f0dcf42a36b90d4e17f5dd2e4c4215"
35+
uuid = "34da2185-b29b-5c13-b0c7-acf172513d20"
36+
version = "4.16.0"
37+
weakdeps = ["Dates", "LinearAlgebra"]
38+
39+
[deps.Compat.extensions]
40+
CompatLinearAlgebraExt = "LinearAlgebra"
41+
42+
[[deps.CompilerSupportLibraries_jll]]
43+
deps = ["Artifacts", "Libdl"]
44+
uuid = "e66e0078-7015-5450-92f7-15fbd957f2ae"
45+
version = "1.1.1+0"
46+
47+
[[deps.Dates]]
48+
deps = ["Printf"]
49+
uuid = "ade2ca70-3891-5945-98fb-dc099432e06a"
50+
51+
[[deps.FLINT_jll]]
52+
deps = ["Artifacts", "GMP_jll", "JLLWrappers", "Libdl", "MPFR_jll", "OpenBLAS32_jll"]
53+
git-tree-sha1 = "e5787b2eadef870865391f3db2ee09a31d8d4700"
54+
uuid = "e134572f-a0d5-539d-bddf-3cad8db41a82"
55+
version = "300.200.100+0"
56+
57+
[[deps.GMP_jll]]
58+
deps = ["Artifacts", "Libdl"]
59+
uuid = "781609d7-10c4-51f6-84f2-b8444358ff6d"
60+
version = "6.2.1+6"
61+
62+
[[deps.InteractiveUtils]]
63+
deps = ["Markdown"]
64+
uuid = "b77e0a4c-d291-57a0-90e8-8db25a27a240"
65+
66+
[[deps.JLLWrappers]]
67+
deps = ["Artifacts", "Preferences"]
68+
git-tree-sha1 = "a007feb38b422fbdab534406aeca1b86823cb4d6"
69+
uuid = "692b3bcd-3c85-4b1f-b108-f13ce0eb3210"
70+
version = "1.7.0"
71+
72+
[[deps.JSON]]
73+
deps = ["Dates", "Mmap", "Parsers", "Unicode"]
74+
git-tree-sha1 = "31e996f0a15c7b280ba9f76636b3ff9e2ae58c9a"
75+
uuid = "682c06a0-de6a-54ab-a142-c8b1cf79cde6"
76+
version = "0.21.4"
77+
78+
[[deps.LLVMOpenMP_jll]]
79+
deps = ["Artifacts", "JLLWrappers", "Libdl"]
80+
git-tree-sha1 = "78211fb6cbc872f77cad3fc0b6cf647d923f4929"
81+
uuid = "1d63c593-3942-5779-bab2-d838dc0a180e"
82+
version = "18.1.7+0"
83+
84+
[[deps.Libdl]]
85+
uuid = "8f399da3-3557-5675-b5ff-fb832c97cbdb"
86+
87+
[[deps.LinearAlgebra]]
88+
deps = ["Libdl", "OpenBLAS_jll", "libblastrampoline_jll"]
89+
uuid = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
90+
91+
[[deps.Logging]]
92+
uuid = "56ddb016-857b-54e1-b83d-db4d58db5568"
93+
94+
[[deps.MPFR_jll]]
95+
deps = ["Artifacts", "GMP_jll", "Libdl"]
96+
uuid = "3a97d323-0669-5f0c-9066-3539efd106a3"
97+
version = "4.2.0+1"
98+
99+
[[deps.MacroTools]]
100+
git-tree-sha1 = "1e0228a030642014fe5cfe68c2c0a818f9e3f522"
101+
uuid = "1914dd2f-81c6-5fcd-8719-6d5c9610ff09"
102+
version = "0.5.16"
103+
104+
[[deps.Markdown]]
105+
deps = ["Base64"]
106+
uuid = "d6f4376e-aef5-505a-96c1-9c027394607a"
107+
108+
[[deps.Mmap]]
109+
uuid = "a63ad114-7e13-5084-954f-fe012c677804"
110+
111+
[[deps.Nemo]]
112+
deps = ["AbstractAlgebra", "FLINT_jll", "Libdl", "LinearAlgebra", "Random", "RandomExtensions", "SHA", "TOML"]
113+
git-tree-sha1 = "b8143c454e1cd0be96a693ed73538fb2caa754b9"
114+
uuid = "2edaba10-b0f1-5616-af89-8c11ac63239a"
115+
version = "0.49.3"
116+
117+
[[deps.OpenBLAS32_jll]]
118+
deps = ["Artifacts", "CompilerSupportLibraries_jll", "JLLWrappers", "Libdl"]
119+
git-tree-sha1 = "6065c4cff8fee6c6770b277af45d5082baacdba1"
120+
uuid = "656ef2d0-ae68-5445-9ca0-591084a874a2"
121+
version = "0.3.24+0"
122+
123+
[[deps.OpenBLAS_jll]]
124+
deps = ["Artifacts", "CompilerSupportLibraries_jll", "Libdl"]
125+
uuid = "4536629a-c528-5b80-bd46-f80d51c5b363"
126+
version = "0.3.23+4"
127+
128+
[[deps.Parsers]]
129+
deps = ["Dates", "PrecompileTools", "UUIDs"]
130+
git-tree-sha1 = "44f6c1f38f77cafef9450ff93946c53bd9ca16ff"
131+
uuid = "69de0a69-1ddd-5017-9359-2bf0b02dc9f0"
132+
version = "2.8.2"
133+
134+
[[deps.PrecompileTools]]
135+
deps = ["Preferences"]
136+
git-tree-sha1 = "5aa36f7049a63a1528fe8f7c3f2113413ffd4e1f"
137+
uuid = "aea7be01-6a6a-4083-8856-8a6e6704d82a"
138+
version = "1.2.1"
139+
140+
[[deps.Preferences]]
141+
deps = ["TOML"]
142+
git-tree-sha1 = "9306f6085165d270f7e3db02af26a400d580f5c6"
143+
uuid = "21216c6a-2e73-6563-6e65-726566657250"
144+
version = "1.4.3"
145+
146+
[[deps.Printf]]
147+
deps = ["Unicode"]
148+
uuid = "de0858da-6303-5e67-8744-51eddeeeb8d7"
149+
150+
[[deps.Profile]]
151+
deps = ["Printf"]
152+
uuid = "9abbd945-dff8-562f-b5e8-e1ebf5ef1b79"
153+
154+
[[deps.Random]]
155+
deps = ["SHA"]
156+
uuid = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
157+
158+
[[deps.RandomExtensions]]
159+
deps = ["Random", "SparseArrays"]
160+
git-tree-sha1 = "b8a399e95663485820000f26b6a43c794e166a49"
161+
uuid = "fb686558-2515-59ef-acaa-46db3789a887"
162+
version = "0.4.4"
163+
164+
[[deps.SHA]]
165+
uuid = "ea8e919c-243c-51af-8825-aaa63cd721ce"
166+
version = "0.7.0"
167+
168+
[[deps.Serialization]]
169+
uuid = "9e88b42a-f829-5b0c-bbe9-9e923198166b"
170+
171+
[[deps.SparseArrays]]
172+
deps = ["Libdl", "LinearAlgebra", "Random", "Serialization", "SuiteSparse_jll"]
173+
uuid = "2f01184e-e22b-5df5-ae63-d93ebab69eaf"
174+
version = "1.10.0"
175+
176+
[[deps.StaticArrays]]
177+
deps = ["LinearAlgebra", "PrecompileTools", "Random", "StaticArraysCore"]
178+
git-tree-sha1 = "0feb6b9031bd5c51f9072393eb5ab3efd31bf9e4"
179+
uuid = "90137ffa-7385-5640-81b9-e52037218182"
180+
version = "1.9.13"
181+
182+
[deps.StaticArrays.extensions]
183+
StaticArraysChainRulesCoreExt = "ChainRulesCore"
184+
StaticArraysStatisticsExt = "Statistics"
185+
186+
[deps.StaticArrays.weakdeps]
187+
ChainRulesCore = "d360d2e6-b24c-11e9-a2a3-2a2ae2dbcce4"
188+
Statistics = "10745b16-79ce-11e8-11f9-7d13ad32a3b2"
189+
190+
[[deps.StaticArraysCore]]
191+
git-tree-sha1 = "192954ef1208c7019899fbf8049e717f92959682"
192+
uuid = "1e83bf80-4336-4d27-bf5d-d5a4f845583c"
193+
version = "1.4.3"
194+
195+
[[deps.Statistics]]
196+
deps = ["LinearAlgebra", "SparseArrays"]
197+
uuid = "10745b16-79ce-11e8-11f9-7d13ad32a3b2"
198+
version = "1.10.0"
199+
200+
[[deps.SuiteSparse_jll]]
201+
deps = ["Artifacts", "Libdl", "libblastrampoline_jll"]
202+
uuid = "bea87d4a-7f5b-5778-9afe-8cc45184846c"
203+
version = "7.2.1+1"
204+
205+
[[deps.TOML]]
206+
deps = ["Dates"]
207+
uuid = "fa267f1f-6049-4f14-aa54-33bafae1ed76"
208+
version = "1.0.3"
209+
210+
[[deps.Test]]
211+
deps = ["InteractiveUtils", "Logging", "Random", "Serialization"]
212+
uuid = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
213+
214+
[[deps.UUIDs]]
215+
deps = ["Random", "SHA"]
216+
uuid = "cf7118a7-6976-5b1a-9a39-7adc72f591a4"
217+
218+
[[deps.Unicode]]
219+
uuid = "4ec0a83e-493e-50e2-b9ac-8f72acf5a8f5"
220+
221+
[[deps.libblastrampoline_jll]]
222+
deps = ["Artifacts", "Libdl"]
223+
uuid = "8e850b90-86db-534c-a0d3-1478176c7d93"
224+
version = "5.11.0+0"
225+
226+
[[deps.msolve_jll]]
227+
deps = ["Artifacts", "CompilerSupportLibraries_jll", "FLINT_jll", "GMP_jll", "JLLWrappers", "LLVMOpenMP_jll", "Libdl", "MPFR_jll", "OpenBLAS32_jll"]
228+
git-tree-sha1 = "80f25fa1cbda65ebfb71b6a7edda5a58b198b552"
229+
uuid = "6d01cc9a-e8f6-580e-8c54-544227e08205"
230+
version = "0.700.501+0"

‎src/algorithms/solvers.jl‎

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -123,8 +123,6 @@ function _core_msolve(
123123
jl_dquot = res_dquot[]
124124
jl_nb_sols = nb_sols[]
125125

126-
# set dimension
127-
I.dim = jl_dim
128126
if jl_dim > 0
129127
error("Dimension of ideal is greater than zero, no solutions provided.")
130128
end

‎src/types.jl‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -42,7 +42,7 @@ mutable struct Ideal{T <: MPolyRingElem}
4242

4343
return I
4444
end
45-
end
45+
end
4646

4747
Base.parent(I::Ideal) = Nemo.parent(I.gens[1])
4848

0 commit comments

Comments
 (0)