Solving Condition Sets in C++
Ramon V
Dear SymEngine Community,
I am currently working on a C++ project that utilizes SymEngine for symbolic mathematics. I have encountered a specific challenge related to solving condition sets and am seeking guidance or information on whether SymEngine supports this functionality, either presently or in future developments.
Problem Description:
I need to determine if there exists any value of the variable that satisfies a condition set such as :
And(-13 < x, x < 0) //< should be true for all x (-13, 0)
And(7 < x, x < 0) //< should be always false
Essentially, I have a set of linear inequalities with a single symbol and I need to check whether it is Conditionally True or always False.
Request for Assistance:
Existing Functionality: Does SymEngine provide any built-in functions or modules that facilitate the solving of condition sets or feasibility checks for systems of inequalities? If so, could you please provide guidance or references on how to utilize them effectively?
Planned Features: If such functionality is not currently available, are there any plans to incorporate condition-solving capabilities in upcoming releases of SymEngine? Understanding the roadmap would help in planning my project's requirements accordingly .
Alternative Approaches: In the absence of native support, are there recommended strategies or best practices within the SymEngine ecosystem for handling condition sets? For example, integrating SymEngine with other libraries or tools that specialize in constraint solving efficiently.
Community Contributions: If I were to develop a feature or extension for condition-solving within SymEngine, what would be the recommended process for contributing it to the project? Any guidelines or pointers would be greatly appreciated.
Ondřej Čertík
Go ahead and open up an issue with this feature request.
Ondrej
On Wed, Oct 16, 2024, at 10:10 AM, Ramon V wrote:
> *Dear SymEngine Community,*
>
> I am currently working on a C++ project that utilizes *SymEngine* for
> to solving condition sets and am seeking guidance or information on
> whether SymEngine supports this functionality, either presently or in
> future developments.
>
> I need to determine if there exists any value of the variable x that
> satisfies a condition set such as :
>
> And(-13 < x, x < 0) //< should be true for all x (-13, 0)
>
> And(7 < x, x < 0) //< should be always false
>
> Essentially, I have a set of linear inequalities with a single symbol
> and I need to check whether it is Conditionally True or always False.
>
>
> 1. *Existing Functionality:* Does SymEngine provide any built-in
> feasibility checks for systems of inequalities? If so, could you please
> provide guidance or references on how to utilize them effectively?
>
> capabilities in upcoming releases of SymEngine? Understanding the
> roadmap would help in planning my project's requirements accordingly .
>
> ecosystem for handling condition sets? For example, integrating
> SymEngine with other libraries or tools that specialize in constraint
> solving efficiently.
>
> recommended process for contributing it to the project? Any guidelines
> or pointers would be greatly appreciated.
>
>
> You received this message because you are subscribed to the Google
> Groups "symengine" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to symengine+...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/symengine/ea8e235f-10fc-4e79-84ac-7eb0e8019388n%40googlegroups.com
> <https://groups.google.com/d/msgid/symengine/ea8e235f-10fc-4e79-84ac-7eb0e8019388n%40googlegroups.com?utm_medium=email&utm_source=footer>.