Skip to content

Commit

Permalink
add isMatrixOfCorrectFormat to appropriate functions
Browse files Browse the repository at this point in the history
  • Loading branch information
aryamanmaithani committed Jun 5, 2024
1 parent 8b0fd37 commit 47086b0
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion GLIdeals.m2
Original file line number Diff line number Diff line change
Expand Up @@ -197,6 +197,7 @@ idealIChi(ZZ, ZZ, List) := opts -> (n, m, chi) -> (

naiveClosure = method(Options => {MaximalRank => true, Limit => false});
naiveClosure (Matrix, Ideal) := opts -> (Y,I) ->(
isMatrixOfCorrectFormat(Y);
(R,X,phi):=correctSymmetricAlgebraHelper(Y);
kk:=baseRing ring Y;
myRand := n -> random(kk^n,kk^n,MaximalRank=>opts#MaximalRank);
Expand Down Expand Up @@ -280,7 +281,7 @@ idealToChi = method();
idealToChi(Matrix, Ideal) := (Y, J) -> (
-- J is an ideal
-- return the list of partitions chi such that J = idealIChi(Y, chi)

isMatrixOfCorrectFormat(Y);
n := numRows Y;
m := numColumns Y;
(R, X, phi) := correctSymmetricAlgebraHelper(Y);
Expand Down Expand Up @@ -323,10 +324,12 @@ GLIdeal(ZZ, ZZ, Partition) := opts -> (n, m, P) -> (
return idealILambda(n, m, P, MaximalRank => opts#MaximalRank);
);
GLIdeal(Matrix, List) := opts -> (X, L) -> (
isMatrixOfCorrectFormat(X);
if IsPartition(L) then return idealILambda(X, L, MaximalRank => opts#MaximalRank);
return idealIChi(X, L, opts);
);
GLIdeal(Matrix, Partition) := opts -> (X, P) -> (
isMatrixOfCorrectFormat(X);
return idealILambda(X, P, MaximalRank => opts#MaximalRank);
);

Expand Down

0 comments on commit 47086b0

Please sign in to comment.