(yacc/debug/toric0.k,  1997, 4/8)

<< ʲ yacc/debug/toric0.k λȤޤ. >>


Q.  A  affine toric variety ׻.

A. [1] A = \matrix{1&1&1&1\cr
                   0&1&0&1\cr
                   0&0&1&1\cr} λ򼨤ޤ.
       Τ褦ƤΥեޤ.
       ̾, a24.k Ȥޤ礦.

       load("debug/toric0.k");
       A = [[1,1,1,1],[0,1,0,1],[0,0,1,1]];
       ans = toric(A);

   [2]  k0 ưޤ.

      k0

   [3] Ĥåɽ, k0 Υץץ In[??]=

             ά
       Overloaded on pushVariables and popVariables.
       ctrl-C signal is caught in KSexecuteString() and <<Warning>> 
       is regarded as an error.
       In[3]=debug/asir0.k    you need to start k0 with -f option. 
       In[4]=In[5]=

       Τ褦ˤǤ,

       load("a24.k");

       Ȥޤ.  a24.k ɤ, ؿ toric ¹Ԥ
       ̤ɽޤ.

   [4] ̤, Ĥåɽ줿,

        ---------- generators of the toric ideal are ----- 
        [    -z[2]*z[1]+z[3]*z[0] ] 
 
       ɽ줿׻λǤ.  θ, affine toric variety 
       (ǥ)Ǥ.  ξˤϰĤޤ.

   [5] ׻̤ѿ ans ˤϤäƤޤ.
      (ans = toric(A) Ƥ뤫.)
     
       ans :

      ϤмΤ褦 ans ƤɽƤޤ.

      In[7]=ans :
      [    -z[2]*z[1]+z[3]*z[0] ] 
      In[8]=

  [6] ans Ȥ ե˥֤,
    
      Save(ans);

      ϤƲ. sm1out.txt ˥֤ޤ.
      Ǥ, sm1out.txt ¸ߤ,  ans ɲäƤޤޤ.

  [7] quit();  Ϥ k0 λޤ.

  [ջ]  A Ǥ, ΤΤޤǤϤޤ.
  [ջ] ĤȤѿκĿ, 100 Ǥ.
             Ѥѿ⤢ޤΤ,  A νĤȲΥ¤
             100 ˶դ⤦׻Ǥޤ.


Q. A-Ķ Fourier Ѵη׻ˡ.

A.
 [1] A = \matrix{1&1&1&1\cr
                   0&1&0&1\cr
                   0&0&1&1\cr} λ򼨤ޤ.
       Τ褦ƤΥեޤ.
       ̾, i24.k Ȥޤ礦.

       load("debug/toric0.k");
       fff = ["z[0]*Dz[0]+z[1]*Dz[1]+z[2]*Dz[2]+z[3]*Dz[3]-z[5]",
              "           z[1]*Dz[1]           +z[3]*Dz[3]-z[6]",
              "                      z[2]*Dz[2]+z[3]*Dz[3]+z[7]",
              "z[0]*z[3]-z[1]*z[2]"];
       ans = zindicial(fff,4,3);


       A-Ķ  toric part
              "z[0]*z[3]-z[1]*z[2]"
       , ؿ toric Ƿ׻ƤΤȤޤ.
       
       ѿɬ, z[i], Dz[i] (i  0 ) Ȥޤ.
       z[i] ѿ, Dz[i] , ʬѿǤ.
        "  ǤळȤ˺ʤǲ.

       ans = zindicial(fff,4,3);
    
       4  Dz[i] θ index +1 Ǥ.  ξ, Dz[3] Ǹ
       ʬѿǤ, 4 Ǥ.
       n = Dz[i] θ index +1
       Ȥȥѥ᡼Ϥʤ餺,
       z[n+1], ..., z[n+m] Ϳޤ.
       , m ϥѥ᡼θĿǤ.
       ξ, z[5],z[6],z[7] ѥ᡼Ǥ.
        m,n Ѥ, zindicial 
       ans = zindicial(fff,n,m);
       Ȥ֤Ȥˤʤޤ.


   [2]  k0 ưޤ.

      k0

   [3] Ĥåɽ, k0 Υץץ In[??]=

             ά
       Overloaded on pushVariables and popVariables.
       ctrl-C signal is caught in KSexecuteString() and <<Warning>> 
       is regarded as an error.
       In[3]=debug/asir0.k    you need to start k0 with -f option. 
       In[4]=In[5]=

       Τ褦ˤǤ,

       load("i24.k");

       Ȥޤ.  a24.k ɤ, ؿ zindicial ¹Ԥ
       ̤ɽޤ.


Q. ̤ʬ򤷤.

A.  save Ƥ, ¾οƥǰʬ򤷤Ʋ.

  ⤷, asir 󥹥ȡ뤷Ƥ,
   k0 -f
   -f ץĤ k0 ưƤȤˤ,  ؿ
     Factor
  ǰʬ򤬤Ǥޤ.



