Difference between revisions of "Category:ApCoCoA-1:Package bertini"

From ApCoCoAWiki
m (Andraschko moved page Category:Package bertini to Category:ApCoCoA-1:Package bertini: Clearer page title)
 
(11 intermediate revisions by 3 users not shown)
Line 1: Line 1:
The basic idea behind this package is to make Bertini usable in/with ApCoCoA.
+
The basic idea behind this package is to make Bertini usable in/with ApCoCoA. Bertini uses Homotopy Continuation Method for Polynomial System Solving.
  
This is the alpha version of the package bertini, which includes the Betini interface to CoCoA. Essentially, you can call Bertini from with inside CoCoA, using this Package.
+
{{ApCoCoAServer}}
 +
 
 +
The bertini.exe must be in the ApCoCoA directory/Bertini and you must have the permissions to read and write in this directory.
  
{{ApCoCoAServer}}
 
  
 
'''NUMERICAL ALGEBRAIC GEOMETRY:'''  
 
'''NUMERICAL ALGEBRAIC GEOMETRY:'''  
  
Numerical algebraic geometry is the study based on homotopy continuation
+
Numerical algebraic geometry is the study based on homotopy continuation method and algebraic geometry. It has same relation to algebraic geomertry, as Numerical Linear Algebra to linear algebra. In Numerical Algebraic Geometry we can fine isolated solutions. For positive dimensional systems, we can find out numerical irreducible deocmpostions.
  method and algebraic geometry. It has same relation to algebraic geomertry, as
+
 
  Numerical Linear Algebra to linear algebra. In Numerical Algebraic Geometry we
+
 
  can fine isolated solutions. For positive dimensional systems, we can find out
+
'''Bertini:''' Software for Numerical Algebraic Geometry
  numerical irreducible deocmpostions.
+
 
 +
Bertini is a software desgined for computations in Numerical Algebric Geometry, particularly, for solving polynomial systems numerically using homotopy continuation method available at [http://www.nd.edu/~sommese/bertini/]. Its a general-purpose solver, written in C, that was created for research about polynomial continuation.  
  
  '''Bertini:''' Software for Numerical Algebraic Geometry
 
 
 
      Bertini is a software desgined for computations in Numerical Algebric
 
  Geometry, particularly, for solving polynomial systems numerical using homotopy
 
  continuation method. Its a general-purpose solver, written in C, that was created
 
  for research about polynomial continuation. The Key Features of Bertini are:
 
 
 
    * Finds isolated solutions using total-degree start systems,
 
      multihomogeneous-degree start systems, and also user defined homotopies.
 
    * Implements parameter continuation for families of systems, such as the inverse
 
      kinematics of six-revolute serial-link arms, or the forward kinematics of
 
      Stewart-Gough parallel-link robots.
 
    * Adaptive multiprecision implemented for finding isolated solutions and for the
 
      numerical irreducible decomposition.
 
    * Treats positive-dimensional solutions by computing witness sets.
 
    * Has automatic differentiation which preserves the straightline quality of an input system.
 
    * Uses homogenization to accurately compute solutions at infinity.
 
    * Provides a fractional power-series endgame to accurately compute singular roots.
 
    * Allows for subfunctions.
 
    * Allows for witness set manipulation via both sampling and membership testing.
 
    * Accepts square or nonsquare systems.
 
  
 +
The Key Features of Bertini are:
  
 +
* Finds isolated solutions using total-degree start systems, multihomogeneous-degree start systems, and also user defined homotopies.
 +
* Implements parameter continuation for families of systems, such as the forward kinematics of Stewart-Gough parallel-link robots.
 +
* Adaptive multiprecision implemented for finding isolated solutions and for the numerical irreducible decomposition.
 +
* Treats positive-dimensional solutions by computing witness sets.
 +
* Has automatic differentiation which preserves the straightline quality of an input system.
 +
* Uses homogenization to accurately compute solutions at infinity.
 +
* Provides a fractional power-series endgame to accurately compute singular roots.
 +
* Allows for subfunctions.
 +
* Allows for witness set manipulation via both sampling and membership testing.
 +
* Accepts square or nonsquare systems.
  
[[Category:ApCoCoA_Manual]]
+
[[Category:ApCoCoA-1 Manual]]

Latest revision as of 15:17, 2 October 2020

The basic idea behind this package is to make Bertini usable in/with ApCoCoA. Bertini uses Homotopy Continuation Method for Polynomial System Solving.

Please note: The function(s) explained on this page is/are using the ApCoCoAServer. You will have to start the ApCoCoAServer in order to use it/them.

The bertini.exe must be in the ApCoCoA directory/Bertini and you must have the permissions to read and write in this directory.


NUMERICAL ALGEBRAIC GEOMETRY:

Numerical algebraic geometry is the study based on homotopy continuation method and algebraic geometry. It has same relation to algebraic geomertry, as Numerical Linear Algebra to linear algebra. In Numerical Algebraic Geometry we can fine isolated solutions. For positive dimensional systems, we can find out numerical irreducible deocmpostions.


Bertini: Software for Numerical Algebraic Geometry

Bertini is a software desgined for computations in Numerical Algebric Geometry, particularly, for solving polynomial systems numerically using homotopy continuation method available at [1]. Its a general-purpose solver, written in C, that was created for research about polynomial continuation.


The Key Features of Bertini are:

  • Finds isolated solutions using total-degree start systems, multihomogeneous-degree start systems, and also user defined homotopies.
  • Implements parameter continuation for families of systems, such as the forward kinematics of Stewart-Gough parallel-link robots.
  • Adaptive multiprecision implemented for finding isolated solutions and for the numerical irreducible decomposition.
  • Treats positive-dimensional solutions by computing witness sets.
  • Has automatic differentiation which preserves the straightline quality of an input system.
  • Uses homogenization to accurately compute solutions at infinity.
  • Provides a fractional power-series endgame to accurately compute singular roots.
  • Allows for subfunctions.
  • Allows for witness set manipulation via both sampling and membership testing.
  • Accepts square or nonsquare systems.