Group Abstract Group Abstract

Message Boards Message Boards

0
|
415 Views
|
2 Replies
|
2 Total Likes
View groups...
Share
Share this post:

CylindricalDecomposition doesn't finish the process

Posted 2 months ago

hello,

I know CAD can take a while because its computational cost, but sometimes wolfram mathematica just quits after an hour or less and leaves me with these dots where it should show the number completed. By the way, the "failed" result is from a previous run using different parameters

failed CAD analysis

Here is the command typed out

N@CylindricalDecomposition[
  {
   b^2 - (c^2 - a^2) == 0,
   a >= 0,
   c > 0,
   t > 0,
   c > a,
   b > 0,
   pl - (pn + t*b/c + a + 2*a/b*t + t*c/b) == 0,
   d - (4 t + b + t*a/c) == 0,
   lb^2 + t^2 - ((pn + c)^2 + (d - 2 t)^2) == 0,
   lb - (2 a + 2*a/b*t + t*c/b) == 0,
   lb > 0,
   t - 13 == 0
   },
  {t, a, c, lb, pn, b, pl, d}
  ]
POSTED BY: Jacob Pavelka
2 Replies

Possibly you need to add either explicit times operators or spaces between some letters so that they are not regarded as new variables. For example, t*c instead of tc.

POSTED BY: Daniel Lichtblau
Posted 2 months ago

Thanks, Ill give that a shot

POSTED BY: Jacob Pavelka
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard