Search

We present a novel, deterministic, and efficient method to detect whether a given rational space curve is symmetric. By using well-known differential invariants of space curves, namely the curvature and torsion, the method is significantly faster, simpler, and more general than an earlier method addressing a similar problem. To support this claim, we present an analysis of the arithmetic complexity of the algorithm and timings from an implementation in Sage., Comment: 25 pages

Under general conditions, the equation g ( x , y ) = 0 g(x,y) = 0 implicitly defines y y locally as a function of x x . In this article, we express divided differences of y y in terms of bivariate divided differences of g g , generalizing a recent result on divided differences of inverse functions.