Skip to content

Commit a7c905c

Browse files
Devlin-Mallorymahrud
authored andcommitted
added test for tensor of submodule
1 parent 4212223 commit a7c905c

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed
Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
S = QQ[x]
2+
M = image matrix{{x}}
3+
R = S/x
4+
assert(tensor(map(R, S), M) != 0)
5+
assert(isFreeModule tensor(map(R, S), M))

0 commit comments

Comments
 (0)