def test_latex_FracElement():
Fuv, u, v = field("u,v", ZZ)
Fxyzt, x, y, z, t = field("x,y,z,t", Fuv.to_domain())
assert latex(x - x) == r"0"
assert latex(x - 1) == r"x - 1"
assert latex(x + 1) == r"x + 1"
assert latex(x / z) == r"\frac{x}{z}"
assert latex(x * y / z) == r"\frac{x y}{z}"
assert latex(x / (z * t)) == r"\frac{x}{z t}"
assert latex(x * y / (z * t)) == r"\frac{x y}{z t}"
assert latex((x - 1) / y) == r"\frac{x - 1}{y}"
assert latex((x + 1) / y) == r"\frac{x + 1}{y}"
assert latex((-x - 1) / y) == r"\frac{-x - 1}{y}"
assert latex((x + 1) / (y * z)) == r"\frac{x + 1}{y z}"
assert latex(-y / (x + 1)) == r"\frac{-y}{x + 1}"
assert latex(y * z / (x + 1)) == r"\frac{y z}{x + 1}"
assert latex(
((u + 1) * x * y + 1) /
((v - 1) * z -
1)) == r"\frac{\left(u + 1\right) x y + 1}{\left(v - 1\right) z - 1}"
assert latex(
((u + 1) * x * y + 1) / ((v - 1) * z - t * u * v - 1)
) == r"\frac{\left(u + 1\right) x y + 1}{\left(v - 1\right) z - u v t - 1}"
def test_latex_FracElement():
Fuv, u, v = field("u,v", ZZ)
Fxyzt, x, y, z, t = field("x,y,z,t", Fuv.to_domain())
assert latex(x - x) == r"0"
assert latex(x - 1) == r"x - 1"
assert latex(x + 1) == r"x + 1"
assert latex(x / z) == r"\frac{x}{z}"
assert latex(x * y / z) == r"\frac{x y}{z}"
assert latex(x / (z * t)) == r"\frac{x}{z t}"
assert latex(x * y / (z * t)) == r"\frac{x y}{z t}"
assert latex((x - 1) / y) == r"\frac{x - 1}{y}"
assert latex((x + 1) / y) == r"\frac{x + 1}{y}"
assert latex((-x - 1) / y) == r"\frac{-x - 1}{y}"
assert latex((x + 1) / (y * z)) == r"\frac{x + 1}{y z}"
assert latex(-y / (x + 1)) == r"\frac{-y}{x + 1}"
assert latex(y * z / (x + 1)) == r"\frac{y z}{x + 1}"
assert (
latex(((u + 1) * x * y + 1) / ((v - 1) * z - 1))
== r"\frac{\left(u + 1\right) x y + 1}{\left(v - 1\right) z - 1}"
)
assert (
latex(((u + 1) * x * y + 1) / ((v - 1) * z - t * u * v - 1))
== r"\frac{\left(u + 1\right) x y + 1}{\left(v - 1\right) z - u v t - 1}"
)