Post a reply
Username:
Note:If not registered, provide any username. For more comfort, register here.
Subject:
Message body:
Enter your message here, it may contain no more than 60000 characters. 

Smilies
:D :) :( :o :shock: :? 8) :lol: :x :P :oops: :cry: :evil: :twisted: :roll: :wink: :!: :?: :idea: :arrow: :| :mrgreen:
Font size:
Font colour
Options:
BBCode is ON
[img] is ON
[flash] is OFF
[url] is ON
Smilies are ON
Disable BBCode
Disable smilies
Do not automatically parse URLs
Confirmation of post
To prevent automated posts the board requires you to enter a confirmation code. The code is displayed in the image you should see below. If you are visually impaired or cannot otherwise read this code please contact the %sBoard Administrator%s.
Confirmation code:
Enter the code exactly as it appears. All letters are case insensitive, there is no zero.
   

Topic review - On the complexity of Milnor number computation for ICIS
Author Message
  Post subject:  Re: On the complexity of Milnor number computation for ICIS  Reply with quote
Thanks! :D
Post Posted: Mon May 16, 2011 6:10 pm
  Post subject:  Re: On the complexity of Milnor number computation for ICIS  Reply with quote
The general hint, if you want to compute Minor numbers fast,
is to do it over larger prime characteristic.

So instead of choosing general prime numbers for the coefficients
define for instance:

Quote:
ring r32003,(x,y,z,w,t),ds;
int p=3;int q=5;
ideal j=x^p+y^p+z^p+w^p+2099t^p,3x^q+2y^q+7z^q+1093w^q-1091t^q;
option(prot);
milnor(j);


Not that the prime charcteristic is should be so large such that
coefficients of jacob(j), or at least the degrees of the terms of f
are relatively prime (gcd == 1) to the characteristic.

After this you may recheck it in char 0. The output of option(prot) in char > 0
shows you at which stage you are in char 0 with the computation.
Post Posted: Mon May 16, 2011 3:01 pm
  Post subject:  On the complexity of Milnor number computation for ICIS  Reply with quote
I was doing some particular examples and came across the following jumps in time elapsed to compute the Milnor number for an ICIS.

Let V_{p,q}\subset C^5 be the germ defined by two homogeneous polynomials, of degrees p and q. Suppose the polynomials are mutually generic, so that the projectivized tangent cone of their intersection is smooth. So, I get an ICIS of the simplest type.

I tried to compute their Milnor numbers (Glory to Singular!) in some particular cases. In most cases the computation is done in less than a second. e.g. for (p,q)=(4,8) or (p,q)=(5,6). But in some simpler(!!!) cases Singular is stuck (I shut it down after several minutes of silence). For example, for (p,q)=(3,5) or (p,q)=(4,7). Naively I would expect the time elapsed to increase monotonically in (p,q). Any explanation, advice of how to choose (p,q) for fast time computing?

My (trivial) code:
LIB "sing.lib";
ring r = 0,(x,y,z,w,t),ds;
int p=3;int q=5;
ideal j=x^p+y^p+z^p+w^p+2099t^p,3x^q+2y^q+7z^q+1093w^q-1091t^q;milnor(j);

ps. Here 2099, 1093, 1091 are some big prime numbers, I tried to substitute in hope to speed up the process.
Post Posted: Mon May 16, 2011 1:41 pm


It is currently Fri May 13, 2022 11:04 am
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group