nn_ndbf

nn_ndbf User’s Manual

Edition 1.0

Nov 2009

by Masayuki Noro and Kenta Nishiyama

Copyright © Masayuki Noro and Kenta Nishiyama 2009. All rights reserved.


[ << ] [ < ] [上] [ > ] [ >> ]         [冒頭] [目次] [見出し] [ ? ]

1 New b-function package nn_ndbf.rr

Υޥ˥奢Ǥ, asir-contrib ѥå˼ϿƤ, b ؿѥå ‘nn_ndbf.rr’ ˤĤƲ⤹. ΥѥåȤˤ, ޤ ‘nn_ndbf.rr’ ɤ.

[...] load("nn_ndbf.rr");

ΥѥåȡƤӽФˤ, ndbf. ƬˤĤ. Υޥ˥奢Ǥ, ϢȹߴؿˤĤƤ⤹.


[ << ] [ < ] [] [ > ] [ >> ]         [冒頭] [目次] [見出し] [ ? ]

1.1 b ؿ׻


[ << ] [ < ] [] [ > ] [ >> ]         [冒頭] [目次] [見出し] [ ? ]

1.1.1 ndbf.bfunction

ndbf.bfunction(f[|weight=w,heruristic=yesno,vord=v,op=yesno]) :: ¿༰ f b ؿ׻.
return

¿༰

f

¿༰

w

[v1,w1,...,vn,wn] ʤꥹ

yesno

0 ޤ 1

v

ѿΥꥹ

[...] load("nn_ndbf.rr");
[...] ndbf.bfunction(x^3-y^2*z^2);
-11664*s^7-93312*s^6-316872*s^5-592272*s^4-658233*s^3-435060*s^2
-158375*s-24500
[...] ndbf.bfunction(x^3-y^2*z^2|op=1);
[-11664*s^7-93312*s^6-316872*s^5-592272*s^4-658233*s^3-435060*s^2
-158375*s-24500,(108*z^3*x*dz^3+756*z^2*x*dz^2+1080*z*x*dz+216*x)*dx^4
...
+(729/8*z^3*dz^5+9477/8*z^2*dz^4+5103/2*z*dz^3+2025/2*dz^2)*dy^2]
[...] F=256*u1^3-128*u3^2*u1^2+(144*u3*u2^2+16*u3^4)*u1-27*u2^4
-4*u3^3*u2^2$
[...] ndbf.bfunction(F|weight=[u3,2,u2,3,u1,4]);
576*s^6+3456*s^5+8588*s^4+11312*s^3+8329*s^2+3250*s+525

[ << ] [ < ] [] [ > ] [ >> ]         [冒頭] [目次] [見出し] [ ? ]

1.1.2 ndbf.bf_local

ndbf.bf_local(f,p[|weight=w,heruristic=yesno,vord=v,op=yesno]) :: ¿༰ f p ˤɽ b ؿ׻.
return

f

¿༰

p

[v1,a1,...,vn,an] ʤꥹ

w

[v1,w1,...,vn,wn] ʤꥹ

yesno

0 ޤ 1

v

ѿΥꥹ

[...] load("nn_ndbf.rr");
[...] ndbf.bf_local(y*((x+1)*x^3-y^2),[x,-1,y,0]);
[[-s-1,2]]
[...] ndbf.bf_local(y*((x+1)*x^3-y^2),[x,-1,y,0]|op=1);
[[[-s-1,2]],12*x^3+36*y^2*x-36*y^2,(32*y*x^2+56*y*x)*dx^2
+((-8*x^3-2*x^2+(128*y^2-6)*x+112*y^2)*dy+288*y*x+(-240*s-128)*y)*dx
+(32*y*x^2-6*y*x+128*y^3-9*y)*dy^2+(32*x^2+6*s*x+640*y^2+39*s+30)*dy
+(-1152*s^2-3840*s-2688)*y]

[ << ] [ < ] [] [ > ] [ >> ]         [冒頭] [目次] [見出し] [ ? ]

1.1.3 ndbf.bf_strat

ndbf.bf_strat(f[|weight=w,heruristic=h,vord=v])

:: ¿༰ f , ɽ b ؿտ魯ʬ (stratification) ׻.

return

f

¿༰

w

[v1,w1,...,vn,wn] ʤꥹ

h

0 ޤ 1

v

ѿΥꥹ

[...] load("nn_ndbf.rr");
[...] F=256*u1^3-128*u3^2*u1^2+(144*u3*u2^2+16*u3^4)*u1-27*u2^4
-4*u3^3*u2^2$
[...] ndbf.bf_strat(F);
[[[u3^2,-u1,-u2],[-1],[[-s-1,2],[16*s^2+32*s+15,1],[36*s^2+72*s+35,1]]],
[[-4*u1+u3^2,-u2],[96*u1^2+40*u3^2*u1-9*u3*u2^2,...],[[-s-1,2]]],
[[-2048*u1^3-...],[-u3*u2,u2*u1,...],[[-s-1,1],...]]],
[[-256*u1^3+128*u3^2*u1^2+...],[...],[[-s-1,1]]],
[[],[-256*u1^3+128*u3^2*u1^2+...],[]]]

[ << ] [ < ] [] [ > ] [ >> ]         [冒頭] [目次] [見出し] [ ? ]

1.1.4 ndbf.action_on_gfs

ndbf.action_on_gfs(op,v,gfs)

:: ʬ op gf^(s+a) ؤκѤ׻.

return

op

ʬ

gfs

[g,f,s+a] ʤꥹ

v

f ѿΥꥹ (v=[v1,...,vn])

[...] load("nn_ndbf.rr");
[...] F=x^5-y^2*z^2$
[...] B=ndbf.bfunction(F|op=1)$
[...] ndbf.action_on_gfs(B[1],[x,y,z],[1,F,s+1]);
[-62500000000*s^13-...-2985505717194*s-245434132944,x^5-z^2*y^2,s]
[...] L=ndbf.bf_local(F,[x,0,y,0,z,1]|op=1)$     
[...] ndbf.action_on_gfs(L[2],[x,y,z],[1,F,s+1]);
[(-100000*s^5-500000*s^4-990000*s^3-970000*s^2-470090*s-90090)*z^2,
x^5-z^2*y^2,s]

[ << ] [ < ] [] [ > ] [ >> ]         [冒頭] [目次] [見出し] [ ? ]

1.2 Annihilator ǥ׻


[ << ] [ < ] [] [ > ] [ >> ]         [冒頭] [目次] [見出し] [ ? ]

1.2.1 ndbf.ann

ndbf.ann(f[|weight=w]) :: ¿༰ f Ф f^s annihilator ideal ׻.
return

ʬǤΥꥹ

f

¿༰

w

[v1,w1,...,vn,wn] ʤꥹ

[...] load("nn_ndbf.rr");
[...] ndbf.ann(x*y*z*(x^3-y^2*z^2));
[(-x^4*dy^2+3*z^4*x*dz^2+12*z^3*x*dz+6*z^2*x)*dx+4*z*x^3*dz*dy^2
-z^5*dz^3-6*z^4*dz^2-6*z^3*dz,
(x^4*dy-3*z^3*y*x*dz-6*z^2*y*x)*dx-4*z*x^3*dz*dy+z^4*y*dz^2+3*z^3*y*dz,
(-x^4+3*z^2*y^2*x)*dx+(4*z*x^3-z^3*y^2)*dz,2*x*dx+3*z*dz-11*s,
-y*dy+z*dz]

[ << ] [ < ] [上] [ > ] [ >> ]         [冒頭] [目次] [見出し] [ ? ]

Index

移動:   N  
見出し一覧 

N
ndbf.action_on_gfs 1.1.4 ndbf.action_on_gfs
ndbf.ann 1.2.1 ndbf.ann
ndbf.bfunction 1.1.1 ndbf.bfunction
ndbf.bf_local 1.1.2 ndbf.bf_local
ndbf.bf_strat 1.1.3 ndbf.bf_strat

移動:   N  

[冒頭] [目次] [見出し] [ ? ]

目次


[冒頭] [目次] [見出し] [ ? ]

簡略化した目次


[冒頭] [目次] [見出し] [ ? ]

この文書について

この文書は3月 28, 2024texi2html 5.0を用いて生成されました。

ナビゲーションパネル中のボタンには以下の意味があります。

ボタン 名称 移動先 1.2.3項からの移動先
[ << ] FastBack Beginning of this chapter or previous chapter 1
[ < ] Back Previous section in reading order 1.2.2
[上] Up Up section 1.2
[ > ] Forward Next section in reading order 1.2.4
[ >> ] FastForward Next chapter 2
[冒頭] 冒頭 Cover (top) of document  
[目次] 目次 Table of contents  
[見出し] 見出し 見出し  
[ ? ] About About (help)  

では、以下に示す構造を持つ文書の1.2.3項を現在位置に仮定しています。


この文書は3月 28, 2024texi2html 5.0を用いて生成されました。