Skip to content

Instantly share code, notes, and snippets.

@colejhudson
Last active February 14, 2019 06:23
Show Gist options
  • Select an option

  • Save colejhudson/f77bd360b455539a9a5a847b69fa23bb to your computer and use it in GitHub Desktop.

Select an option

Save colejhudson/f77bd360b455539a9a5a847b69fa23bb to your computer and use it in GitHub Desktop.
from sympy.sets import sets as syset
import sympy as sy
# A complex plane curve is the set of all complex-valued pairs
# for some non-constant function f where where we give the pair
# as input to f, f yields 0.
complex_plane = syset.ProductSet(sy.S.Complexes, sy.S.Complexes)
x = sy.Dummy('x')
y = sy.Dummy('y')
f = sy.Function('f')
f_is_0 = sy.Eq(f(x, y), 0)
sy.ConditionSet((x, y), [f_is_0], complex_plane)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment