OpenXM/src/asir-doc/exp/exp-ja.texi - diff

Return to exp-ja.texi CVS log

Up to [local] / OpenXM / src / asir-doc / exp

Diff for /OpenXM/src/asir-doc/exp/exp-ja.texi between version 1.30 and 1.33

version 1.30, 2009/02/23 04:00:53

version 1.33, 2009/05/16 03:13:07

Line 1

%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.29 2009/02/23 03:41:26 nakayama Exp $

%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.32 2009/02/23 06:10:42 noro Exp $

\input texinfo

@iftex

@catcode`@#=6

Line 148 ChangeLog $B$N9`L\$O(B www.openxm.org $B$N(B cvswe

* chdir::

* pwd::

* dcurrenttime::

* node nd_gr nd_gr_trace nd_weyl_gr nd_weyl_gr_trace (module)::

* node nd_gr nd_gr_trace nd_weyl_gr nd_weyl_gr_trace (option)::

@end menu

Line 237 $\partial_0, \partial_1, \cdots$

Line 239 $\partial_0, \partial_1, \cdots$

dp_dvars_origin: dp_vars_hweyl $B$,(B 1 $B$N;~$N%$%s%G%C%/%9$N;O$^$j$NCM(B.

@item

conv_func: $B%f!<%6Dj5A$NJQ494X?t$r$h$V(B.

@item

@end itemize

@comment --- @example$B!A(B@end example $B$O<B9TNc$NI=<((B ---

Line 489 Sugar strategy $B$rE,MQ$9$k$H$-$N(B weight vector.

@comment ~taka/this03/misc-2003/A2/dp

@item $B=g=x(B order $B$O<!$NJ8K!$GDj5A$9$k(B. @{, @} $B$O(B 0 $B2s0J>e$N7+$jJV$7$r0UL#$9$k(B.

@example

order : '[' orderElement { ',' orderElement } ']'

order : '[' orderElement @{ ',' orderElement @} ']'

orderElement : weightVec | builtinOrder

weightVec : '[' weightElement { ',' weightElement } ']'

weightVec : '[' weightElement @{ ',' weightElement @} ']'

builtiniOrder : '[' orderName ',' setOfVariables ']'

weightElement : NUMBER | setOfVariables ',' NUMBER

setOfVariables: V | range(V,V)

Line 671 ChangeLog

@end itemize

@example

[219] struct point { x, y, color};

[219] struct point @{ x, y, color@};

[220] P = newstruct(point);

{0,0,0}

@{0,0,0@}

[221] P->x = 10$ P->y=5$ P->color="red"$

[222] get_element_names(P);

[x,y,color]

Line 1034 ChangeLog

@end itemize

@example

[219] def my_output(F) {

[219] def my_output(F) @{

print("Out: ",0); print(rtostr(F));

}

[220] set_print_function("my_output");

Out: 0

[221] 1+2;

Line 1853 qt_normalize(`x^2,2);

@noindent

ChangeLog

@itemize @bullet

@item

@item -----$B$^$@=q$$$F$J$$(B.

@end itemize

Line 2018 qt_normalize(quote( 1+(x+y)+(x+y)^2),1);

@noindent

ChangeLog

@itemize @bullet

@item

@item -----$B$^$@=q$$$F$J$$(B.

@end itemize

Line 2240 qt $B7O$N4X?t$,3+H/$5$l$?(B.

@end itemize

@example

// Visual C++ $BMQ$N%F%9%H%W%m%0%i%`(B. $BI8=`F~NO$r(B asirgui $B$XAw$j9~$`(B.

// cl test.c user32.lib

// test.cpp : $B%3%s%=!<%k(B $B%"%W%j%1!<%7%g%sMQ$N%(%s%H%j(B $B%]%$%s%H$NDj5A(B

#include "stdafx.h"

#include "test.h"

#include <windows.h>

#include <stdlib.h>

#include <stdio.h>

#include <fcntl.h>

#include <process.h>

#ifdef _DEBUG

int main()

#define new DEBUG_NEW

#undef THIS_FILE

static char THIS_FILE[] = __FILE__;

#endif

/////////////////////////////////////////////////////////////////////////////

// $BM#0l$N%"%W%j%1!<%7%g%s(B $B%*%V%8%'%/%H(B

CWinApp theApp;

using namespace std;

int _tmain(int argc, TCHAR* argv[], TCHAR* envp[])

{

int nRetCode = 0;

// MFC $B$N=i4|2=$*$h$S=i4|2=<:GT;~$N%(%i!<$N=PNO(B

if (!AfxWinInit(::GetModuleHandle(NULL), NULL, ::GetCommandLine(), 0))

{

// TODO: $BI,MW$K1~$8$F%(%i!<(B $B%3!<%I$rJQ99$7$F$/$@$5$$!#(B

cerr << _T("Fatal Error: MFC initialization failed") << endl;

nRetCode = 1;

}

else

{

// TODO: $B$3$N0LCV$K%"%W%j%1!<%7%g%s$NF0:n$r5-=R$7$F$/$@$5$$!#(B

CString strHello;

strHello.LoadString(IDS_HELLO);

cout << (LPCTSTR)strHello << endl;

}

HWND hnd;

FILE *fp = fopen("c:/Program Files/asir/bin/asirgui.hnd","r");

fscanf(fp,"%d",&hnd);

fclose(fp);

while (1) {

while (1) @{

int c;

c = getchar();

if ( c == '#' ) break;

PostMessage(hnd,WM_CHAR,c,1);

}

return nRetCode;

return 0;

}

@end example

@table @t

Line 2520 $I = D \cdot \{x \partial_x -1, y \partial_y - 1\} $

Line 2487 $I = D \cdot \{x \partial_x -1, y \partial_y - 1\} $

-- generic_bfct_and_gr :0.001sec(0.001629sec)

generic bfct : [[1,1],[s-1,1]]

S0 : 1

B_{S0} length : 2

B_@{S0@} length : 2

-- fctr(BF) + base :0.000999sec(0.0005109sec)

[[y*dy-1,(y*dy-1)*dx,-1],[[1],[0]]]

[1433]

Line 2571 $I = D \cdot \{x \partial_x -1, y \partial_y - 1\} $

Line 2538 $I = D \cdot \{x \partial_x -1, y \partial_y - 1\} $

-- generic_bfct_and_gr :0.002sec(0.001652sec)

generic bfct : [[1,1],[s-1,1]]

S0 : 1

B_{S0} length : 2

B_@{S0@} length : 2

-- fctr(BF) + base :0sec(0.000566sec)

-- restriction_ideal_internal :0.001sec(0.0007441sec)

[-1]

Line 2627 $I = D \cdot \{2 t \partial_x + \partial_t, t \partial

Line 2594 $I = D \cdot \{2 t \partial_x + \partial_t, t \partial

-- generic_bfct_and_gr :0.001sec(0.001796sec)

generic bfct : [[1,1],[s,1],[s-1,1]]

S0 : 1

B_{S0} length : 2

B_@{S0@} length : 2

-- fctr(BF) + base :0.001sec(0.0006731sec)

[[4*x*dx^2+6*dx,-4*t*x*dx^2-6*t*dx,2*x*dx+1,-2*t*x*dx,2*t*dx],[[1],[0]]]

@end example

Line 2673 x,y $B$K$D$$$F@QJ,$r9T$&!#(B

Line 2640 x,y $B$K$D$$$F@QJ,$r9T$&!#(B

$I = D \cdot \{2 t \partial_x + \partial_t, t \partial_t + 2 x \partial_x + 2\} $

@end tex

$B$N(B

@tex $t$ @end tex

@tex $t$

@end tex

$B$K$D$$$F$N@QJ,%$%G%"%k$r7W;;$7$?Nc$G$"$k!#(B([SST, Ex5.5.2, Ex5.5.6])

@example

[1431] nk_restriction.integration_ideal([2*t*dx+dt,t*dt+2*x*dx+2],[t,x],

Line 2681 $I = D \cdot \{2 t \partial_x + \partial_t, t \partial

Line 2649 $I = D \cdot \{2 t \partial_x + \partial_t, t \partial

-- generic_bfct_and_gr :0.002999sec(0.002623sec)

generic bfct : [[1,1],[s,1],[s-1,1]]

S0 : 1

B_{S0} length : 2

B_@{S0@} length : 2

-- fctr(BF) + base :0.001sec(0.001091sec)

-- integration_ideal_internal :0.002sec(0.001879sec)

[2*x*dx+1]

Line 2694 ChangeLog

Line 2662 ChangeLog

@item $B$3$l$i$N4X?t$O(B OpenXM/src/asir-contrib/packages/src/nk_restriction.rr $B$GDj5A$5$l$F$$$k(B. nk_restriction.rr, 1.1--1.6 $B$r8+$h(B.

@end itemize

@node nd_gr nd_gr_trace nd_weyl_gr nd_weyl_gr_trace (module),,, $B<B83E*;EMM$N4X?t(B

@subsection @code{nd_gr}, @code{nd_gr_trace} ($B2C72(B)

@findex nd_gr (module)

@findex nd_gr_trace (module)

@findex nd_weyl_gr (module)

@findex nd_weyl_gr_trace (module)

@comment --- nd_gr, nd_gr_trace $B$K$*$1$k2C72$N%0%l%V%J!<4pDl7W;;(B ---

@table @t

@item nd_gr(@var{gen},@var{vars},@var{char},@var{ord})

@itemx nd_gr_trace(@var{gen},@var{vars},@var{homo},@var{char},@var{ord})

@item nd_weyl_gr(@var{gen},@var{vars},@var{char},@var{ord})

@itemx nd_weyl_gr_trace(@var{gen},@var{vars},@var{homo},@var{char},@var{ord})

:: $BItJ,2C72$N%0%l%V%J!<4pDl$N7W;;(B

@end table

@table @var

@item gen

$B%j%9%H$N%j%9%H(B

@item ord

@var{[IsPOT,Ord]} $B$J$k%j%9%H(B

@item return

$B%j%9%H$N%j%9%H(B

@end table

@itemize @bullet

@item $BB?9`<04D$"$k$$$O%o%$%kBe?t>e$N<+M32C72$NItJ,2C72$N%0%l%V%J!<4pDl(B

$B$r7W;;$9$k(B. $B7k2L$O%j%9%H$N%j%9%H$G$"$k(B. $B3FMWAG%j%9%H$O(B, $B<+M32C72$N(B

$B85$G$"$k%Y%/%H%k$H$_$J$9(B.

@item @var{ord} $B$H$7$F(B @var{[IsPOT,Ord]} $B$H$$$&(B2$BMWAG%j%9%H$,;XDj$5$l$?(B

$B>l9g(B, $B2C72$N%0%l%V%J!<4pDl7W;;$r<B9T$9$k(B. $B$3$N>l9g(B, @var{gen} $B$O(B, $BB?9`<0(B

$B$N%j%9%H$N%j%9%H$H$7$FM?$($kI,MW$,$"$k(B.

@item @var{IsPOT} $B$,(B 1 $B$N>l9g(B, POT (position over term), 0 $B$N(B

$B>l9g(B TOP (term over position) $B$GHf3S$9$k(B. $B4pAC4D$G$N9`Hf3S$O(B @var{Ord}

$B$G9T$&(B.

@item $B@bL@$5$l$F$$$J$$0z?t$O(B, $B%$%G%"%k$N>l9g$N2r@b$r;2>H$N$3$H(B.

@end itemize

@example

[0] Gen=[[x,y,z],[y^2+x,x^2,z],[y^2,z^3+x,x+z]];

[[x,y,z],[x+y^2,x^2,z],[y^2,x+z^3,x+z]]

[1] nd_gr(Gen,[x,y,z],0,[0,0]);

[[x,y,z],[y^2,x^2-y,0],[y^2,x+z^3,x+z],[y^3+z^3*y^2,y^3*x-y^3,

-x^3-z*x^2+(z*y^2+y)*x-z*y^2+z*y],[0,0,x^4+z*x^3+(-z*y^2-y)*x^2

+(-y^3+z*y^2-z*y)*x+z^4*y^2]]

@end example

@table @t

@item $B;2>H(B

@ref{nd_gr}, @ref{nd_gr_trace}

@end table

@node nd_gr nd_gr_trace nd_weyl_gr nd_weyl_gr_trace (option),,, $B<B83E*;EMM$N4X?t(B

@subsection @code{nd_gr}, @code{nd_gr_trace} (option)

@findex nd_gr (option)

@findex nd_gr_trace (option)

@findex nd_weyl_gr (option)

@findex nd_weyl_gr_trace (option)

@comment --- nd_gr, nd_gr_trace $B$N%*%W%7%g%s(B ---

@table @t

@item nd_gr(@var{...}[|@var{opt},@var{opt},@dots{}])

@itemx nd_gr_trace(@var{...}[|@var{opt},@var{opt},@dots{}])

@itemx nd_weyl_gr(@var{...}[|@var{opt},@var{opt},@dots{}])

@itemx nd_weyl_gr_trace(@var{...}[|@var{opt},@var{opt},@dots{}])

:: $B%0%l%V%J!<4pDl7W;;$K4X$9$k<o!9$N%*%W%7%g%s$N@bL@(B

@end table

@table @var

@item opt

@var{key=value} $B$J$k%*%W%7%g%s@_Dj(B

@item return

$B%*%W%7%g%s$K$h$j0[$J$k(B

@end table

@itemize @bullet

@item $B%0%l%V%J!<4pDl7W;;$r%*%W%7%g%s$K$h$j@)8f$9$k(B.

@item $B8=>u$G$O<!$N(B 3 $B$D$N%*%W%7%g%s$r<u$1IU$1$k(B.

@table @var

@item gentrace

@var{value} $B$,(B 0 $B$G$J$$$H$-(B, $B%0%l%V%J!<4pDl$N7W;;7P2a>pJs$r=PNO$9$k(B.

@item gentsyz

@var{value} $B$,(B 0 $B$G$J$$$H$-(B, $B7W;;$5$l$?%0%l%V%J!<4pDl$KBP$9$k(B syzygy $B$N@8@.7O$r=PNO$9$k(B.

@item nora

@var{value} $B$,(B 0 $B$G$J$$$H$-(B, $B:G=*%9%F%C%W$GAj8_4JLs$r9T$o$J$$(B.

@end table

@item @var{gentrace} $B$,;XDj$5$l$?>l9g(B, $B=PNO$O(B,

@var{[GB,Homo,Trace,IntRed,Ind,InputRed,SpairTrace]} $B$J$k%j%9%H$G$"$k(B. $B3FMWAG$N0UL#$O(B

$B<!$NDL$j$G$"$k(B.

@table @var

@item GB

$B%0%l%V%J!<4pDl(B

@item Homo

$BCf4V4pDl$,@F<!2=$5$l$F$$$k>l9g(B 1, $B$=$&$G$J$$>l9g(B 0.

@item Trace

$BA4Cf4V4pDl$KBP$9$k7W;;7P2a>pJs(B

@item IntRed

$BAj8_4JLs$KBP$9$k7W;;7P2a>pJs(B

@item Ind

$B4JLs%0%l%V%J!<4pDl$N3FMWAG$N(B, $BA4Cf4V4pDl$N$K$*$1$k%$%s%G%C%/%9(B

@item InputRed

$B3FF~NOB?9`<0$r%0%l%V%J!<4pDl$G4JLs$7$F>jM>(B 0 $B$rF@$k$^$G$N7W;;7P2a>pJs(B

(@var{gensyz} $B$,;XDj$5$l$?>l9g(B)

@item SpairTrace

$B4JLs%0%l%V%J!<4pDl$KBP$9$k(B S $BB?9`<0$r4JLs$7$F>jM>(B 0 $B$rF@$k$^$G$N7W;;7P2a>pJs(B

(syzygy $B2C72$N@8@.7O$NMWAG$N$_(B; @var{gensyz} $B$,;XDj$5$l$?>l9g(B)

@end table

@item $B>\:Y$O(B, $BF~NOB?9`<0=89g$H%0%l%V%J!<4pDl$NAj8_JQ499TNs(B, $B$*$h$S(B syzygy $B7W;;(B

$B4X?t$N9`$G@bL@$9$kM=Dj(B.

@end itemize

@example

[0] C=[c3*c2*c1*c0-1,((c2+c3)*c1+c3*c2)*c0+c3*c2*c1,...]

[1] D=nd_gr_trace(C,[c0,c1,c2,c3,c4],0,1,0|gentrace=1,gensyz=1)$

[2] D[0];

[c0+c1+c2+c3,-c1^2-2*c3*c1-c3^2,...]

[3] D[2];

[[[0,0,1],[1,1,1],[2,2,1],[3,3,1]],[4,[[1,2,(1)*<<0,0,0,0>>,1],...]

[4] D[6];

[[-1,[[1,0,(1)*<<0,0,2,4>>,1],[1,6,(-1)*<<1,0,0,0>>,1],...]

@end example

@table @t

@item $B;2>H(B

@ref{nd_gr}, @ref{nd_gr_trace}

@end table

@comment ----------- $B0J2<$O8+K\(B. $B>C$9$J(B.

@comment ****************************************************************

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>