Implementation of CAD will help us to decide
-->decide whether or not a given semialgebraic set is empty, finite, open,
closed, con-
nected, or bounded;
--> decide whether or not a given semialgebraic set is contained in another
one;
-->determine the (topological) dimension of a given semialgebraic set;
-->determine a sample point of a given nonempty semialgebraic set;
-->determine the number of points of a given finite semialgebraic set;
-->determine a tight bounding box of a given bounded semialgebraic set;
-->determine the connected components of a given semialgebraic set;
--->determine the boundary, the closure, or the interior of a given
semialgebraic set;
an example of solving inequalities(taken from MATHEMATICA)
>>>CylindricalDecomposition[2 < (3x2 − 15x + 16)/(x2 − 4x + 3) < 3, {x}]
2<x<7/3 ∨ x>5
On Thu, Mar 8, 2012 at 3:23 AM, prateek papriwal
<[email protected]>wrote:
> hmm ... ok .. added commit to the original pull request ... will close the
> new pull request ..
>
> Thank You
>
>
> On Thu, Mar 8, 2012 at 2:40 AM, Sergiu Ivanov
> <[email protected]>wrote:
>
>> On Wed, Mar 7, 2012 at 11:02 PM, prateek papriwal
>> <[email protected]> wrote:
>> > https://github.com/sympy/sympy/pull/1110 corrected commit ...
>>
>> When working on a pull request, you should add commits to the branch
>> you started your pull request from. There is no need to start a new
>> pull request on any modification you are willing to apply to you
>> branch.
>>
>> Your original pull request ( https://github.com/sympy/sympy/pull/1108
>> ) will survive it if you add commits to it; we will get notified
>> whenever you do modifications there. Therefore, it is highly
>> desirable that you push your corrections to the original branch
>> (1285_iiss) so that other people can also see my comments and the
>> modifications you did in response.
>>
>> Sergiu
>>
>> --
>> You received this message because you are subscribed to the Google Groups
>> "sympy" group.
>> To post to this group, send email to [email protected].
>> To unsubscribe from this group, send email to
>> [email protected].
>> For more options, visit this group at
>> http://groups.google.com/group/sympy?hl=en.
>>
>>
>
--
You received this message because you are subscribed to the Google Groups
"sympy" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sympy?hl=en.
