Comments (4)
In this example, are you viewing your variety in a weighted projective space or in affine space? I'm asking because the equations are weighted homogeneous. In any case, nid
is only implemented for affine systems at this point (I want to come back to this later this year, but you know... not enough time :)).
When I solve two attempts, one with c1=1
and one with c1=0
, I get reliably two components of degree 2 and two components of degree 1. Also, the linear space a1=b1=0
intersects your variety with multiplicity two, which gives you the same problem as we have discussed before.
The only other software that can do NID is Bertini as far as I know. We implemented a Julia interface (https://github.com/PBrdng/Bertini.jl) which should be kind of straight forward to use. Using polynomial homotopy continuation for the dimension of real varieties does not exist and is an open problem. There are methods from computational algebra like CAD, but they have doubly exponential complexity.
from homotopycontinuation.jl.
Hi, first of all: thank you for trying out our software. Let me reply to your issues.
In general, polynomial homotopy continuation can only find regular zeros of polynomial systems. In your system J2
the one-dimensional component is a double component, which can't be detected with these methods (at least not without some more effort, there is a strategy called deflation for handling components of higher multiplicity, but this is currently not implemented in our software).
About your second example: should this be a1b1
or a1*b1
? (i.e., is a1b1 one variable or a product of two?). What dimension should these components have?
It should be said that nid
is still a bit experimental compared to other components of the software. We are still missing a good subroutine to detect singularities, which makes the method a bit unreliable.
from homotopycontinuation.jl.
I was not aware of this limitation of polynomial homotopy continuation, thanks for pointing it out and for mentioning this deflation strategy.
In the second example, Markdown ate my stars, it should be
nid(System([a1*b1 , a2*b1 + a1*b2 , -c1^4 + a3*b1 + a2*b2 + a1*b3 ]))
The three irreducible components should all have dimension 4 and be given by V(a1,b1), V(a1,a2) and V(b1,b2).
Do you know other libraries which can perform nid (or, more modestly, compute the total dimension)? What about libraries to compute the real dimension for real algebraic sets? I had a quick look but yours was definitely the easiest to install and get started with right away.
from homotopycontinuation.jl.
This last example was affine. Thank you for your answers.
I am trying Bertini.jl right now but I have a small issue which I will write about on the appropriate "Issues" page.
from homotopycontinuation.jl.
Related Issues (20)
- e not defined for sqrt() HOT 6
- Converting from Nemo.fmpq_mpoly to HomotopyContinuation.Expression HOT 3
- cache_min_length failing with empty iterator HOT 1
- Seed for mondromy not working as intended
- Symbolic linear system solving not supported by ModelKit HOT 2
- Issues dealing with BigFloat coefficients HOT 6
- find_start_pair failing on some linearly-parametrized square systems HOT 2
- `OP_POW` not defined HOT 5
- Add checkpoints for monodromy_solve
- HC fails to solve sanity check HOT 7
- Can't build a system with Unicode symbols in variable names HOT 2
- `Threads.resize_nthreads!` is deprecated HOT 1
- Non-real solution incorrectly certified as real
- Start System Complaints: Incorrect Rank Calculation HOT 2
- What is the best way to approximate trigonometric functions in HC HOT 2
- LaTeX pretty printing breaks for (negative) exponents HOT 2
- sing_accuracy not recognised as endgame parameter HOT 9
- Missing Solutions HOT 8
- Arblib dependencies incompatible with Oscar.jl HOT 3
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from homotopycontinuation.jl.