Timeline for Conditions for a curve to belong to a hyper-surface in $\mathbb{R}^n$
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 19, 2014 at 14:14 | comment | added | Robert Bryant | However, this only tests whether a given, implicitly defined curve $C$ lies in a given implicitly defined hypersurface $H$. It doesn't tell you anything about whether some rigid motion $R$ in Euclidean space will transport $C$ to a curve $R(C)$ that lies in $H$, which is what the OP wanted. | |
| Mar 19, 2014 at 13:31 | comment | added | cknoll | Another idea: in case of algebraic equations $h$ and $c_i$ Groebner Bases should provide a simple solution: Let $G$ be a Groebner Basis of the $c_i$ then $h \,\rm {mod} \,G$ should be $0$ (remainder should vanish). I tested a simple example with sympy, see docs.sympy.org/latest/modules/polys/… | |
| Mar 19, 2014 at 11:06 | comment | added | cknoll | that was just a typo. Thanks for pointing it out. | |
| Mar 19, 2014 at 11:05 | history | edited | cknoll | CC BY-SA 3.0 |
fix typo
|
| Mar 18, 2014 at 17:50 | comment | added | Ayan | Why the number of arguments in c_i s is (n-1)? | |
| Mar 18, 2014 at 17:17 | review | First posts | |||
| Mar 18, 2014 at 17:23 | |||||
| Mar 18, 2014 at 16:59 | history | answered | cknoll | CC BY-SA 3.0 |