Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Unable to decompose 'Suss' with python #60

Open
foongminwong opened this issue Feb 22, 2019 · 1 comment
Open

Unable to decompose 'Suss' with python #60

foongminwong opened this issue Feb 22, 2019 · 1 comment
Labels
component - decomposition things related to the decomposition routine implemented in the main executable, `bertini_real` nature - probable bug unconfirmed bug, but probably a bug

Comments

@foongminwong
Copy link
Contributor

I'm trying to run bertini_real -E python for Suss. It works using matlab, but not python.

Here's the screen output from my attempt

bertini_real -E python


NOTE: You have requested to use adaptive path tracking.  Please make sure that you have
setup the following tolerances appropriately:
CoeffBound: 2.060251000000e+00, DegreeBound: 6.000000000000e+00
AMPSafetyDigits1: 1, AMPSafetyDigits2: 1, AMPMaxPrec: 1024


 BertiniReal(TM) v1.6.0

 D.A. Brake with
 D.J. Bates, W. Hao, J.D. Hauenstein,
 A.J. Sommese, C.W. Wampler

(using GMP v6.1.2, MPFR v4.0.1)


  Library-linked Bertini(TM) v1.6
   (May 22, 2018)

 D.J. Bates, J.D. Hauenstein,
 A.J. Sommese, C.W. Wampler

(using GMP v6.1.2, MPFR v4.0.1)


NOTE: Please make sure that you have also put the proper test points for the membership test in 'member_points'.



NOTE: You have requested to use adaptive path tracking.  Please make sure that you have
setup the following tolerances appropriately:
CoeffBound: 2.060251000000e+00, DegreeBound: 6.000000000000e+00
AMPSafetyDigits1: 1, AMPSafetyDigits2: 1, AMPMaxPrec: 1024


Testing membership: 1 point to test.
Testing 0 of 1

It appears that point 0 lies on component 0 of dimension 2.



************* Witness Set Decomposition *************

| dimension | components | classified | unclassified
-----------------------------------------------------
|   2       |   1        |   6        |  0
-----------------------------------------------------

************** Decomposition by Degree **************

Dimension 2: 1 classified component
-----------------------------------------------------
   degree 6: 1 component

*****************************************************

Performing a stabilization test


NOTE: You have requested to use adaptive path tracking.  Please make sure that you have
setup the following tolerances appropriately:
CoeffBound: 2.060251000000e+00, DegreeBound: 6.000000000000e+00
AMPSafetyDigits1: 1, AMPSafetyDigits2: 1, AMPMaxPrec: 1024

Testing for a component of dimension 2.

Bertini verified that a witness point is a smooth
point on a 2 dimensional generically reduced component.


Isosingular deflation was successful!

Number of deflations: 0
Deflation sequence: 2, ...

Deflated system printed to 'input_dim_2_comp_0_deflated'.


NOTE: Please make sure that you have also put the proper test points for the membership test in 'member_points'.



NOTE: You have requested to use adaptive path tracking.  Please make sure that you have
setup the following tolerances appropriately:
CoeffBound: 2.060251000000e+00, DegreeBound: 6.000000000000e+00
AMPSafetyDigits1: 1, AMPSafetyDigits2: 1, AMPMaxPrec: 1024


Testing membership: 2 points to test.
Testing 0 of 2

It appears that point 0 lies on component 0 of dimension 2.

It appears that point 1 lies on component 0 of dimension 2.



************* Witness Set Decomposition *************

| dimension | components | classified | unclassified
-----------------------------------------------------
|   2       |   1        |   6        |  0
-----------------------------------------------------

************** Decomposition by Degree **************

Dimension 2: 1 classified component
-----------------------------------------------------
   degree 6: 1 component

*****************************************************

computing witness points for the critical curve
tracking path 0 of 30
tracking path 20 of 30
using python to create critical system


splitting points for multiplicity 6 singular curve
Performing a stabilization test


NOTE: You have requested to use adaptive path tracking.  Please make sure that you have
setup the following tolerances appropriately:
CoeffBound: 6.101861000000e+01, DegreeBound: 6.000000000000e+00
AMPSafetyDigits1: 1, AMPSafetyDigits2: 1, AMPMaxPrec: 1024

Testing for a component of dimension 3.

Bertini was unable to verify that a witness point is a smooth
point on a 3 dimensional generically reduced component.


Performing an isosingular deflation


NOTE: You have requested to use adaptive path tracking.  Please make sure that you have
setup the following tolerances appropriately:
CoeffBound: 1.047285000000e+01, DegreeBound: 6.000000000000e+00
AMPSafetyDigits1: 1, AMPSafetyDigits2: 1, AMPMaxPrec: 1024

ERROR: The point does not sufficiently satisfy the original system (residual: 1.785821e+00, tolerance: 1.000000e-10).
Bertini will now exit due to this error.

--------------------------------------------------------------------------
MPI_ABORT was invoked on rank 0 in communicator MPI_COMM_WORLD
with errorcode 7.

NOTE: invoking MPI_ABORT causes Open MPI to kill all MPI processes.
You may or may not see output from other processes, depending on
exactly when Open MPI kills them.
--------------------------------------------------------------------------
@ofloveandhate ofloveandhate added component - decomposition things related to the decomposition routine implemented in the main executable, `bertini_real` nature - probable bug unconfirmed bug, but probably a bug labels Feb 23, 2019
@ofloveandhate
Copy link
Owner

thank you, i'll try to replicate it and see what's going on. i suspect scaling coefficients are the culprit...

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
component - decomposition things related to the decomposition routine implemented in the main executable, `bertini_real` nature - probable bug unconfirmed bug, but probably a bug
Projects
None yet
Development

No branches or pull requests

2 participants