-
Notifications
You must be signed in to change notification settings - Fork 13
/
Project.toml
46 lines (40 loc) · 1.43 KB
/
Project.toml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
name = "Groebner"
uuid = "0b43b601-686d-58a3-8a1c-6623616c7cd4"
authors = ["sumiya11"]
version = "0.7.5"
[deps]
AbstractAlgebra = "c3fe647b-3220-5bb0-a1ea-a7954cac585d"
Atomix = "a9b6321e-bd34-4604-b9c9-b65b8de01458"
Combinatorics = "861a8166-3701-5b0c-9a16-15d98fcdc6aa"
HostCPUFeatures = "3e5b6fbb-0976-4d2c-9146-d79de83f2fb0"
Logging = "56ddb016-857b-54e1-b83d-db4d58db5568"
Nemo = "2edaba10-b0f1-5616-af89-8c11ac63239a"
PrecompileTools = "aea7be01-6a6a-4083-8856-8a6e6704d82a"
Primes = "27ebfcd6-29c5-5fa9-bf4b-fb8fc14df3ae"
Printf = "de0858da-6303-5e67-8744-51eddeeeb8d7"
Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
[weakdeps]
DynamicPolynomials = "7c1d4256-1411-5781-91ec-d7bc3513ac07"
[extensions]
GroebnerDynamicPolynomialsExt = "DynamicPolynomials"
[compat]
AbstractAlgebra = "0.41, 0.42"
Atomix = "0.1"
BenchmarkTools = "1"
Combinatorics = "1"
DynamicPolynomials = "0.6.0"
HostCPUFeatures = "0.1"
Nemo = "0.45.4, 0.46"
PrecompileTools = "1"
Primes = "0.5"
TestSetExtensions = "2"
julia = "1.6"
[extras]
BenchmarkTools = "6e4b80f9-dd63-53aa-95a3-0cdb28fa8baf"
DynamicPolynomials = "7c1d4256-1411-5781-91ec-d7bc3513ac07"
InteractiveUtils = "b77e0a4c-d291-57a0-90e8-8db25a27a240"
Nemo = "2edaba10-b0f1-5616-af89-8c11ac63239a"
Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
TestSetExtensions = "98d24dd4-01ad-11ea-1b02-c9a08f80db04"
[targets]
test = ["DynamicPolynomials", "BenchmarkTools", "InteractiveUtils", "Test", "TestSetExtensions", "Nemo"]