From 9be334ce0b3f5cf291b64bc259ea45a0d9f0c872 Mon Sep 17 00:00:00 2001 From: Glen Whitney Date: Sun, 4 Feb 2024 06:14:15 +0000 Subject: [PATCH] Add Constraints --- Constraints.md | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 Constraints.md diff --git a/Constraints.md b/Constraints.md new file mode 100644 index 0000000..c650452 --- /dev/null +++ b/Constraints.md @@ -0,0 +1,15 @@ +Here is a list of possible constraints we may want to try to support in Dyna3. Those labeled with a ? may be unclear how to capture as a polynomial in the coordinates of the entities. + +- Point lies on entity +- One entity is contained in another (For some entities, this may be (?), e.g. a point and a ball, as opposed to a sphere -- seems like that's an inequality rather than a polynomial equation.) +- Two entities are tangent +- Two entities coincide +- Two entities are at a fixed distance +- Two entities make a specific angle +- Two entities intersect (or do not intersect (?)) +- The position of an entity is fixed to be v +- The measure (length, area, volume, angle, dihedral angle, solid angle, ...) of an entity is fixed to be m +- Two entities are congruent (Is this just a conjunction of some automatically-generated conjunction of some of the above?) +- Some polynomial equation in the measures or positions of an entity or entities holds (i.e., we may want to just allow direct entry of an arbitrary polynomial constraint, e.g, `dist(a,b) + dist(b,c) =k` + +Definitely feel free to add items!