def test_dmp_discriminant():
assert dmp_discriminant([], 0, ZZ) == 0
assert dmp_discriminant([[]], 1, ZZ) == []
assert dmp_discriminant([[1, 0]], 1, ZZ) == []
assert dmp_discriminant([1, 3, 9, -13], 0, ZZ) == -11664
assert dmp_discriminant([5, 0, 1, 0, 0, 2], 0, ZZ) == 31252160
assert dmp_discriminant([1, 2, 6, -22, 13], 0, ZZ) == 0
assert dmp_discriminant([12, 0, 0, 15, 30, 1, 0, 1], 0,
ZZ) == -220289699947514112
assert dmp_discriminant([[1, 0], [], [2, 0]], 1, ZZ) == [-8, 0, 0]
assert dmp_discriminant([[1, 0, 2], []], 1, ZZ) == [1]
assert dmp_discriminant([[[1], []], [[1, 0]]], 2, ZZ) == [[1]]
assert dmp_discriminant([[[[1]],[[]]],[[[1],[]]],[[[1,0]]]], 3, ZZ) == \
[[[-4, 0]], [[1], [], []]]
assert dmp_discriminant([[[[[1]]],[[[]]]],[[[[1]],[[]]]],[[[[1],[]]]],[[[[1,0]]]]], 4, ZZ) == \
[[[[-27,0,0]]],[[[18,0],[]],[[-4],[],[],[]]],[[[-4,0]],[[1],[],[]],[[]],[[]]]]
def test_dmp_discriminant():
assert dmp_discriminant([], 0, ZZ) == 0
assert dmp_discriminant([[]], 1, ZZ) == []
assert dmp_discriminant([[1,0]], 1, ZZ) == []
assert dmp_discriminant([1,3,9,-13], 0, ZZ) == -11664
assert dmp_discriminant([5,0,1,0,0,2], 0, ZZ) == 31252160
assert dmp_discriminant([1,2,6,-22,13], 0, ZZ) == 0
assert dmp_discriminant([12,0,0,15,30,1,0,1], 0, ZZ) == -220289699947514112
assert dmp_discriminant([[1,0],[],[2,0]], 1, ZZ) == [-8,0,0]
assert dmp_discriminant([[1,0,2],[]], 1, ZZ) == [1]
assert dmp_discriminant([[[1],[]],[[1,0]]], 2, ZZ) == [[1]]
assert dmp_discriminant([[[[1]],[[]]],[[[1],[]]],[[[1,0]]]], 3, ZZ) == \
[[[-4, 0]], [[1], [], []]]
assert dmp_discriminant([[[[[1]]],[[[]]]],[[[[1]],[[]]]],[[[[1],[]]]],[[[[1,0]]]]], 4, ZZ) == \
[[[[-27,0,0]]],[[[18,0],[]],[[-4],[],[],[]]],[[[-4,0]],[[1],[],[]],[[]],[[]]]]
def discriminant(f):
"""Computes discriminant of `f`. """
return f.per(dmp_discriminant(f.rep, f.lev, f.dom), kill=True)
def discriminant(f):
"""Computes discriminant of `f`. """
return f.per(dmp_discriminant(f.rep, f.lev, f.dom), kill=True)
