Conclusion

This paper proposes the algebraic under constraint solver consisting of the symbolic and numeric parts and shows examples of its application to embodiment design. Each part of the algebraic under constraint solver has the following advantage and disadvantage. As shown in the examples, the symbolic part can determine the constraints inconsistent with each other. However, it may possibly look over inconsistencies. On the other hand, the numeric part does not fail to find out inconsistencies though it cannot determine which constraint is inconsistent with the others. By using these parts complementarily, it is possible to support embodiment design and improve working efficiency. The author plans to apply the algebraic under constraint solver to several actual design problems, clarify existing problems and improve its performance including computational efficiency.