Simple Constraint/Relation API about manifold

[pentacular]

It sounds technically interesting, but I think I'd start by considering the kinds of problem you see this approach solving, and the potential impact.

[pca006132]

The idea is to add some simple constraint solving without making the system too complicated (#118). This also keeps the reasoning local, previous constraints will not affect future operations. The use case for this (only considering rigid transformation) is mainly for assembly and making joints, which I have to calculate the required transformation manually.

[elalish]

I'm not sure there's such thing as "simple" constraint solving; it's all pretty nonlinear and commonly results in no solution. This is the basis of any CAD program, but they mostly get around this by giving immediate UX feedback when the solution doesn't exist so it can be immediately fixed by the user. I'm not sure how to make it work in a "headless" library like manifold. I think this is why @rsaccon suggested integrating an existing constraint engine, probably along with a UI.

Basically, is there an advantage to having a constraint engine integrated into our internals, over just having one above us handing down the appropriate transforms? I'd still love to work on it though - now that the manifold library is looking pretty stable I'd love to play with building higher-level and user-facing abstractions on top. Especially now that we have a WASM build, it would be great to link up with other JS projects to build some powerful web apps.

[pca006132]

is there an advantage to having a constraint engine integrated into our internals, over just having one above us handing down the appropriate transforms

Probably no. The idea of this issue is to compute the transform by solving a simple linear system, but perhaps this is a bit too naive.

I am interestes in linking up with other JS projects, do you know if there is any JS projects that does constraint solving?

[pentacular]

I'm interested in the use-cases for automatic constraint solving for code-based systems.

I think that the main challenge here is that a shift from sufficiently to insufficiently constrained system may come from potentially very many, potentially quite remote changes to a system, making parametric design much less reliable, and generally would force significant over-constraint.

So I've been working on simpler approaches, such as generating a hinge assembly along a geometric edge of an existing shape, or placing one object at a specific position in the local frame of reference of another so that they mate correctly.

I'd try to come up with 4-5 examples of problems that you think would be best solved by the proposed constraint resolution system.

[pca006132]

So I've been working on simpler approaches, such as generating a hinge assembly along a geometric edge of an existing shape, or placing one object at a specific position in the local frame of reference of another so that they mate correctly.

Yeah, I'm thinking about something similar to this, ideally users can use this to mate parts with minimal constraint rules.

[pentacular]

Note that this doesn't involve any constraint solution -- just the ability to organize things with respect to one another.

So I'd think more about the problems that do require constraint solution. :)

[NodeGuy]

I am interestes in linking up with other JS projects, do you know if there is any JS projects that does constraint solving?

Hey look at this: https://www.npmjs.com/package/slvs/v/3.1.0-dev.22

[elalish]

@NodeGuy Cool! We can't incorporate them here since they're non-commercial, but others could certainly use these libraries together. Looks like their C code is more stable than the npm version too.