From 1a82d2ea8a0539690ead8b62750b08f149e9eb63 Mon Sep 17 00:00:00 2001
From: Michael Brown <mkb0096@auburn.edu>
Date: Tue, 6 Feb 2024 21:11:43 -0600
Subject: [PATCH] added details to tests for toricLL

---
 Toric-BGG/MultigradedBGG.m2 | 24 +++++++++++++-----------
 1 file changed, 13 insertions(+), 11 deletions(-)

diff --git a/Toric-BGG/MultigradedBGG.m2 b/Toric-BGG/MultigradedBGG.m2
index 907a63e..5b2b75a 100644
--- a/Toric-BGG/MultigradedBGG.m2
+++ b/Toric-BGG/MultigradedBGG.m2
@@ -438,8 +438,7 @@ assert(C_-1 == 0)
 assert(C_1 == 0)
 ///
 
---todo: verify that these are the correct matrices for the two examples
---      then we'll actually manually input them for the assert
+
 -- cyclic but non-free module:
 TEST ///
 restart
@@ -447,19 +446,22 @@ load "MultigradedBGG.m2"
 needsPackage "NormalToricVarieties"
 S = ring hirzebruchSurface 3;
 E = dualRingToric S;
-C2 = toricLL(coker matrix{{e_0, e_1}})
-assert(isHomogeneous C2)
-assert((C2.dd)^2 == 0)
+C = toricLL(coker matrix{{e_0, e_1}})
+assert(C == koszulComplex {x_2, x_3})
 ///
 
 TEST ///
 --non-cyclic module
-S = ring weightedProjectiveSpace {1,1,2,3}
-E = dualRingToric S
-N = module ideal(e_2, e_1*e_3)
-C = toricLL N
-assert(isHomogeneous C)
-assert((C3.dd)^2 == 0)
+restart
+load "MultigradedBGG.m2"
+needsPackage "NormalToricVarieties"
+E = dualRingToric (ZZ/101[x_0, x_1, Degrees => {1, 2}]);
+N = module ideal(e_0, e_1);
+C = toricLL(N);
+S = ring C;
+f = map(S^{{3}}, S^{{1}} ++ S^{{2}}, matrix{{x_1, -x_0}});
+C' = complex({f})[-2];
+assert(C == C')
 ///