Message Boards Message Boards

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

CylindricalDecomposition doesn't finish the process

Posted 19 hours 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 hours 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

Group Abstract Group Abstract