Skip to content

Commit

Permalink
Update VNumber.m2
Browse files Browse the repository at this point in the history
We made a minor change to the function "soc"
  • Loading branch information
EmanueleSgroi committed Sep 12, 2024
1 parent 1fd2382 commit 4fde989
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions M2/Macaulay2/packages/VNumber.m2
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
newPackage(
"VNumber",
Version => "1.0",
Date => "October 24, 2023",
Date => "September 12, 2024",
Authors => {{Name => "Antonino Ficarra", Email => "[email protected]", HomePage => "https://www.researchgate.net/profile/Antonino-Ficarra"},
{Name => "Emanuele Sgroi", Email => "[email protected]", HomePage => "https://www.researchgate.net/profile/Emanuele-Sgroi"}},
Headline => "compute v-number of homogeneous ideals and v-function of monomial ideals",
Expand Down Expand Up @@ -376,12 +376,12 @@ soc (Ideal, Ideal) := (I, P) -> (
XP := ring I;
if not(isMember(true, (stableMax(I)/(Q->P==Q)))) then XP = product(select(stablePrimes(I), Q -> (Q!=P and isSubset(P,Q)==true)));
f := reesMap(I);
R := source f/(sub(I, source f) + ker f);
R := source f/ker f;
IR := sub(I,R);
PR := sub(P,R);
QR := if not(XP===ring I) then sub(P + saturate XP, R) else ideal(1_R);
QR := if not(XP===ring I) then sub(XP, R) else ideal(1_R);
A := quotient(IR, PR);
B := quotient(IR, QR);
B := intersect(quotient(IR, PR), saturate(IR, QR));
A/B
);

Expand Down

0 comments on commit 4fde989

Please sign in to comment.