Up to [local] / OpenXM / src / kan96xx / Kan
Request diff between arbitrary revisions
Default branch: MAIN
Current tag: RELEASE_1_2_3
Revision 1.4 / (download) - annotate - [selected], Mon Sep 13 11:24:11 2004 UTC (19 years, 11 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_3
Changes since 1.3: +2 -1
lines
Diff to previous 1.3 (colored)
An implementation of the partial tangent cone algorithm, i.e., reduction in Q(x')_0 [x''] <D,h> (x' : localized, x'' : global). Example: /ecart.checkOrder { 1 } def [(DebugReductionEcart) 3] system_variable [ [(1-x-y-z) (1-z)] (x,y,z) [ [(y) -1 (z) -1 (Dy) 1 (Dz) 1] [(x) 1 (Dx) 1]] [(partialEcartGlobalVarX) [(x)]] ] ecart.gb /ff set It is a computation in Q(y,z)_0 [x] <Dx,Dy,Dz,h>.