version 1.13, 2005/02/28 12:53:43 |
version 1.14, 2005/06/17 03:50:34 |
|
|
% $OpenXM: OpenXM/src/kan96xx/Doc/changelog-ja.tex,v 1.12 2005/01/23 02:41:16 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Doc/changelog-ja.tex,v 1.13 2005/02/28 12:53:43 takayama Exp $ |
\documentclass{jarticle} |
\documentclass{jarticle} |
\title{ChangeLog \\ ---kan96xx, kxx, k097} |
\title{ChangeLog \\ ---kan96xx, kxx, k097} |
\author{Nobuki Takayama} |
\author{Nobuki Takayama} |
Line 363 SIGPIPE $B$G(B $B%/%i%$%"%s%H$,=*N;$7$F$7$^$&%P%0( |
|
Line 363 SIGPIPE $B$G(B $B%/%i%$%"%s%H$,=*N;$7$F$7$^$&%P%0( |
|
$B$^$@40A4$K2r7h$7$F$J$$(B. |
$B$^$@40A4$K2r7h$7$F$J$$(B. |
ox texmacs $B$,@5$7$/F0:n$9$k$N$+MW%F%9%H(B. |
ox texmacs $B$,@5$7$/F0:n$9$k$N$+MW%F%9%H(B. |
\end{enumerate} |
\end{enumerate} |
|
|
|
\section{2005-06-9, 16, attribute, options.} |
|
\begin{enumerate} |
|
\item $BA4$F$N(B object $B$K(B attr (attribute field) $B$r$D$1$?(B. |
|
$B8zN($K4X$9$kD4::$O(B {\tt misc-2005/06/gfan/test1.sm1} (taka). |
|
$B;~4VE*8zN($K$D$$$F$O$"$^$jLdBj$J$$(B. |
|
\item $B9=B$BN$N(B {\tt attr} $B%U%#!<%k%I$r=i4|2=$9$k$?$a(B {\tt OINIT} $B%^%/%m$r(B |
|
$B2C$($?(B. {\tt stackm.h} |
|
$B=i4|2=$,$J$$$H(B segfault $B$9$k>l9g$b(B. |
|
\item {\tt @s/2005/06/16-note.pdf} (taka) $B$K3+H/%a%b$"$j(B. |
|
\item {\tt attr} $B$r(B {\tt groebner}, {\tt gb} $BEy$G3hMQ$9$k(B. |
|
\end{enumerate} |
|
|
|
$B%=!<%9$NJQ99$OB?4t$K$o$?$k$N$G0lIt$N$_5-$9(B. |
|
\begin{enumerate} |
|
\item {\tt OpenXM/src/kan96xx/Kan/dr.sm1} 1.49, {\tt setAttribute} $BEy$N%^%/%m(B. |
|
\item {\tt OpenXM/src/kan96xx/kan/gb.c} 1.10,11, {\tt groebner} $B$,(B attr $B$G(B gb $B$+$I$&$+$N>pJs$rLa$9(B. |
|
\item {\tt OpenXM/src/kan96xx/Doc/hol.sm1} 1.23, gb, pgb, gb\_h $B$,(B option $B$r(B attr $B$G<u$1<h$l$k$h$&$K$9$kJQ99(B. |
|
\end{enumerate} |
|
|
|
$BNc(B: |
|
{\footnotesize |
|
\begin{verbatim} |
|
ob key getAttribute value |
|
Example: [(x-1) (y-1)] (gb) 1 setAttribute /ff set |
|
ff (gb) getAttribute :: |
|
|
|
ob getAttributeList attr-obj |
|
Example: [(x-1) (y-1)] [(gb) 1] setAttributeList /ff set |
|
ff getAttributeList :: |
|
|
|
sm1> [(x0,x1) ring_of_polynomials 0] define_ring |
|
[(x0^2+x1^2-h^2). (x0 x1 -4 h^2).] /ff set ; |
|
sm1>[ff [(gbCheck)]] groebner /gg set ; |
|
3.gbCheck failed. |
|
Note that the result is NOT groebner basis. |
|
|
|
Completed. |
|
sm1>gg getAttributeList :: |
|
[ $gb$ , 0 ] |
|
|
|
|
|
[ [( (x Dx)^2 + (y Dy)^2 + 1) ( x y Dx Dy -1)] (x,y) |
|
[ [ (Dx) 1 ] ] ] [(gbCheck) 1] setAttributeList gb getAttributeList :: |
|
|
|
[ [[(h+x) (x^3 + 2 h^3 + 2 x h^2)] [(x) (x)]] (x)] |
|
[(reduceOnly)] setAttributeList gb_h pmat |
|
|
|
|
|
\end{verbatim} |
|
} |
|
|
\end{document} |
\end{document} |
|
|