Super cool. In this example, it's differentiation of a one-dimensional curve, but one can use the dual numbers to compute tangent spaces of more interesting alg

Super cool. In this example, it's differentiation of a one-dimensional curve, but one can use the dual numbers to compute tangent spaces of more interesting algebraic objects as well. See, e.g. remark 5.38 here: http://www.jmilne.org/math/CourseNotes/AG500.pdf http://www.jmilne.org/math/CourseNotes/AG500.pdf