OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw - diff

Return to sm1.oxw CVS log

Up to [local] / OpenXM / src / asir-contrib / packages / doc / sm1

version 1.8, 2019/09/13 05:21:33

version 1.9, 2020/02/25 02:21:53

Line 1

/*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw,v 1.7 2019/09/09 23:39:52 takayama Exp $ */

/*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw,v 1.8 2019/09/13 05:21:33 takayama Exp $ */

/*&C

@c DO NOT EDIT THIS FILE

Line 511 x*dx+1

@findex sm1.gb

@findex sm1.gb_d

@table @t

@item sm1.gb([@var{f},@var{v},@var{w}]|proc=@var{p},sorted=@var{q},dehomogenize=@var{r},needBack=@var{n},ring_var=@{r})

@item sm1.gb([@var{f},@var{v},@var{w}]|proc=@var{p},sorted=@var{q},dehomogenize=@var{r},needBack=@var{n},ring_var=@var{r})

:: computes the Grobner basis of @var{f} in the ring of differential

operators with the variable @var{v}.

@item sm1.gb_d([@var{f},@var{v},@var{w}]|proc=@var{p})