@@ -36,8 +36,8 @@ newPackage(
3636
3737export {
3838 -- methods
39- " deletion" ,
4039 " oneStepGVDNyI" ,
40+ " deletion" => " oneStepGVDNyI" ,
4141 " findLexCompatiblyGVDOrders" ,
4242 " findOneStepGVD" ,
4343 " getGVDIdeal" ,
@@ -47,8 +47,8 @@ export {
4747 " isLexCompatiblyGVD" ,
4848 " isUnmixed" ,
4949 " isWeaklyGVD" ,
50- " link" ,
5150 " oneStepGVDCyI" ,
51+ " link" => " oneStepGVDCyI" ,
5252 " oneStepGVD" ,
5353
5454 -- options
@@ -73,22 +73,6 @@ export {
7373
7474-- ------------------------------------------------------------------------------
7575
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-
9276findLexCompatiblyGVDOrders = method (
9377 Options => {CheckUnmixed => true }
9478 )
@@ -499,23 +483,6 @@ isWeaklyGVD(Ideal) := Boolean => opts -> I -> (
499483 return false ;
500484 )
501485
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-
519486-- ------------------------------------------------------------------------------
520487
521488oneStepGVD = method (
@@ -905,7 +872,6 @@ doc///
905872 matroidal ideals. Arch. Math. 114 (2020), no. 3 299 –-304.
906873
907874 Subnodes
908- deletion
909875 oneStepGVDNyI
910876 findLexCompatiblyGVDOrders
911877 findOneStepGVD
@@ -916,7 +882,6 @@ doc///
916882 isLexCompatiblyGVD
917883 isUnmixed
918884 isWeaklyGVD
919- link
920885 oneStepGVDCyI
921886 oneStepGVD
922887 CheckCM
@@ -935,34 +900,6 @@ doc///
935900-- Documentation for functions
936901-- ******************************************************************************
937902
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- ///
966903
967904doc ///
968905 Node
@@ -1484,35 +1421,6 @@ doc///
14841421///
14851422
14861423
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-
15161424doc ///
15171425 Node
15181426 Key
@@ -1628,10 +1536,12 @@ doc///
16281536 Key
16291537 oneStepGVDCyI
16301538 (oneStepGVDCyI, Ideal , RingElement )
1539+ (link, Ideal , RingElement )
16311540 Headline
16321541 computes the ideal $C_{y,I}$
16331542 Usage
16341543 oneStepGVDCyI(I, y)
1544+ link(I, y)
16351545 Inputs
16361546 I:Ideal
16371547 y:RingElement
@@ -1693,10 +1603,12 @@ doc///
16931603 Key
16941604 oneStepGVDNyI
16951605 (oneStepGVDNyI, Ideal , RingElement )
1606+ (deletion, Ideal , RingElement )
16961607 Headline
16971608 computes the ideal $N_{y,I}$
16981609 Usage
16991610 oneStepGVDNyI(I, y)
1611+ deletion(I, y)
17001612 Inputs
17011613 I:Ideal
17021614 y:RingElement
0 commit comments