Skip to content

Commit 56bb06b

Browse files
mgacummingsd-torrance
mgacummings
authored and
d-torrance
committed
add link and deletion aliases for CyI, NyI
for Patricia Klein
1 parent f381012 commit 56bb06b

File tree

1 file changed

+127
-16
lines changed

1 file changed

+127
-16
lines changed

‎M2/Macaulay2/packages/GeometricDecomposability.m2‎

Lines changed: 127 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@
22

33
newPackage(
44
"GeometricDecomposability",
5-
Version => "1.4.2",
6-
Date => "May 2, 2025",
5+
Version => "1.4.3",
6+
Date => "June 10, 2025",
77
Headline => "checking whether ideals are geometrically vertex decomposable",
88
Authors => {
99
{
@@ -36,6 +36,8 @@ newPackage(
3636

3737
export {
3838
-- methods
39+
"deletion",
40+
"oneStepGVDNyI",
3941
"findLexCompatiblyGVDOrders",
4042
"findOneStepGVD",
4143
"getGVDIdeal",
@@ -45,9 +47,9 @@ export {
4547
"isLexCompatiblyGVD",
4648
"isUnmixed",
4749
"isWeaklyGVD",
48-
"oneStepGVD",
50+
"link",
4951
"oneStepGVDCyI",
50-
"oneStepGVDNyI",
52+
"oneStepGVD",
5153

5254
-- options
5355
"CheckCM",
@@ -71,6 +73,22 @@ export {
7173

7274
--------------------------------------------------------------------------------
7375

76+
deletion = method(
77+
Options => {
78+
CheckUnmixed => true,
79+
UniversalGB => false
80+
}
81+
)
82+
83+
deletion(Ideal, RingElement) := Sequence => opts -> (I, y) -> (
84+
oneStepGVDNyI(I, y,
85+
CheckUnmixed => opts.CheckUnmixed,
86+
UniversalGB => opts.UniversalGB
87+
)
88+
)
89+
90+
--------------------------------------------------------------------------------
91+
7492
findLexCompatiblyGVDOrders = method(
7593
Options => {CheckUnmixed => true}
7694
)
@@ -481,6 +499,23 @@ isWeaklyGVD(Ideal) := Boolean => opts -> I -> (
481499
return false;
482500
)
483501

502+
--------------------------------------------------------------------------------
503+
504+
link = method(
505+
Options => {
506+
CheckUnmixed => true,
507+
UniversalGB => false
508+
}
509+
)
510+
511+
link(Ideal, RingElement) := Sequence => opts -> (I, y) -> (
512+
oneStepGVDCyI(I, y,
513+
CheckUnmixed => opts.CheckUnmixed,
514+
UniversalGB => opts.UniversalGB
515+
)
516+
)
517+
518+
484519
--------------------------------------------------------------------------------
485520

486521
oneStepGVD = method(
@@ -870,23 +905,25 @@ doc///
870905
matroidal ideals. Arch. Math. 114 (2020), no. 3 299–-304.
871906

872907
Subnodes
873-
CheckCM
874-
CheckDegenerate
875-
CheckUnmixed
908+
deletion
909+
oneStepGVDNyI
876910
findLexCompatiblyGVDOrders
877911
findOneStepGVD
878912
getGVDIdeal
879913
initialYForms
880914
isGeneratedByIndeterminates
881915
isGVD
882-
IsIdealHomogeneous
883-
IsIdealUnmixed
884916
isLexCompatiblyGVD
885917
isUnmixed
886918
isWeaklyGVD
887-
oneStepGVD
919+
link
888920
oneStepGVDCyI
889-
oneStepGVDNyI
921+
oneStepGVD
922+
CheckCM
923+
CheckDegenerate
924+
CheckUnmixed
925+
IsIdealHomogeneous
926+
IsIdealUnmixed
890927
OnlyDegenerate
891928
OnlyNondegenerate
892929
SquarefreeOnly
@@ -898,6 +935,34 @@ doc///
898935
-- Documentation for functions
899936
--******************************************************************************
900937

938+
doc///
939+
Node
940+
Key
941+
deletion
942+
(deletion, Ideal, RingElement)
943+
Headline
944+
computes the ideal $N_{y,I}$
945+
Usage
946+
deletion(I, y)
947+
Inputs
948+
I:Ideal
949+
y:RingElement
950+
an indeterminate in the ring
951+
Outputs
952+
:Ideal
953+
Description
954+
Text
955+
This is an alias for @TO oneStepGVDNyI@.
956+
SeeAlso
957+
CheckUnmixed
958+
getGVDIdeal
959+
link
960+
oneStepGVD
961+
oneStepGVDCyI
962+
oneStepGVDNyI
963+
UniversalGB
964+
965+
///
901966

902967
doc///
903968
Node
@@ -1419,6 +1484,35 @@ doc///
14191484
///
14201485

14211486

1487+
doc///
1488+
Node
1489+
Key
1490+
link
1491+
(link, Ideal, RingElement)
1492+
Headline
1493+
computes the ideal $C_{y,I}$
1494+
Usage
1495+
link(I, y)
1496+
Inputs
1497+
I:Ideal
1498+
y:RingElement
1499+
an indeterminate in the ring
1500+
Outputs
1501+
:Ideal
1502+
Description
1503+
Text
1504+
This is an alias for @TO oneStepGVDCyI@.
1505+
SeeAlso
1506+
CheckUnmixed
1507+
deletion
1508+
getGVDIdeal
1509+
oneStepGVD
1510+
oneStepGVDNyI
1511+
UniversalGB
1512+
1513+
///
1514+
1515+
14221516
doc///
14231517
Node
14241518
Key
@@ -1535,7 +1629,7 @@ doc///
15351629
oneStepGVDCyI
15361630
(oneStepGVDCyI, Ideal, RingElement)
15371631
Headline
1538-
computes the ideal $C_{y,I}$ for a given ideal and indeterminate
1632+
computes the ideal $C_{y,I}$
15391633
Usage
15401634
oneStepGVDCyI(I, y)
15411635
Inputs
@@ -1584,8 +1678,10 @@ doc///
15841678
[KR] Patricia Klein and Jenna Rajchgot. Geometric vertex decomposition and
15851679
liaison. Forum Math. Sigma, 9 (2021) Paper No. e70, 23pp.
15861680
SeeAlso
1681+
deletion
15871682
CheckUnmixed
15881683
getGVDIdeal
1684+
link
15891685
oneStepGVD
15901686
oneStepGVDNyI
15911687
UniversalGB
@@ -1598,7 +1694,7 @@ doc///
15981694
oneStepGVDNyI
15991695
(oneStepGVDNyI, Ideal, RingElement)
16001696
Headline
1601-
computes the ideal $N_{y,I}$ for a given ideal and indeterminate
1697+
computes the ideal $N_{y,I}$
16021698
Usage
16031699
oneStepGVDNyI(I, y)
16041700
Inputs
@@ -1648,8 +1744,10 @@ doc///
16481744
liaison. Forum Math. Sigma, 9 (2021) Paper No. e70, 23pp.
16491745

16501746
SeeAlso
1747+
deletion
16511748
CheckUnmixed
16521749
getGVDIdeal
1750+
link
16531751
oneStepGVDCyI
16541752
oneStepGVD
16551753
UniversalGB
@@ -1753,12 +1851,14 @@ doc///
17531851
Node
17541852
Key
17551853
CheckUnmixed
1854+
[deletion, CheckUnmixed]
17561855
[findLexCompatiblyGVDOrders, CheckUnmixed]
17571856
[findOneStepGVD, CheckUnmixed]
17581857
[getGVDIdeal, CheckUnmixed]
17591858
[isGVD, CheckUnmixed]
17601859
[isLexCompatiblyGVD, CheckUnmixed]
17611860
[isWeaklyGVD, CheckUnmixed]
1861+
[link, CheckUnmixed]
17621862
[oneStepGVD, CheckUnmixed]
17631863
[oneStepGVDCyI, CheckUnmixed]
17641864
[oneStepGVDNyI, CheckUnmixed]
@@ -1799,6 +1899,7 @@ doc///
17991899
matroidal ideals. Arch. Math. 114 (2020), no. 3 299–-304.
18001900

18011901
SeeAlso
1902+
deletion
18021903
findLexCompatiblyGVDOrders
18031904
findOneStepGVD
18041905
getGVDIdeal
@@ -1807,6 +1908,7 @@ doc///
18071908
isLexCompatiblyGVD
18081909
isUnmixed
18091910
isWeaklyGVD
1911+
link
18101912
oneStepGVD
18111913
oneStepGVDCyI
18121914
oneStepGVDNyI
@@ -1951,15 +2053,17 @@ doc///
19512053
Node
19522054
Key
19532055
UniversalGB
2056+
[deletion, UniversalGB]
19542057
[findOneStepGVD, UniversalGB]
19552058
[getGVDIdeal, UniversalGB]
2059+
[initialYForms, UniversalGB]
19562060
[isGVD, UniversalGB]
19572061
[isLexCompatiblyGVD, UniversalGB]
19582062
[isWeaklyGVD, UniversalGB]
2063+
[link, UniversalGB]
19592064
[oneStepGVD, UniversalGB]
19602065
[oneStepGVDCyI, UniversalGB]
19612066
[oneStepGVDNyI, UniversalGB]
1962-
[initialYForms, UniversalGB]
19632067
Headline
19642068
whether the generators for an ideal form a universal Gröbner basis
19652069
Description
@@ -1989,15 +2093,17 @@ doc///
19892093
$C_{y, I}$ and $N_{y, I}$, it may take longer to verify the intersection condition.
19902094

19912095
SeeAlso
1992-
oneStepGVDCyI
2096+
deletion
19932097
findOneStepGVD
19942098
getGVDIdeal
19952099
initialYForms
19962100
isGVD
19972101
isLexCompatiblyGVD
19982102
isWeaklyGVD
1999-
oneStepGVDNyI
2103+
link
20002104
oneStepGVD
2105+
oneStepGVDCyI
2106+
oneStepGVDNyI
20012107
///
20022108

20032109

@@ -2276,3 +2382,8 @@ assert( sub(oneStepGVDNyI(I, y), R) == ideal(x^2*w*r+w*r*s^2+z^2*w*r+w^2*r^2) )
22762382

22772383

22782384
end--
2385+
2386+
uninstallPackage "GeometricDecomposability"
2387+
restart
2388+
installPackage "GeometricDecomposability"
2389+
check GeometricDecomposability

0 commit comments

Comments
 (0)