Up to [local] / OpenXM / src / kan96xx / Kan
Request diff between arbitrary revisions
Default branch: MAIN
Current tag: RELEASE_1_2_3
Revision 1.13 / (download) - annotate - [select for diffs], Mon Sep 13 11:24:11 2004 UTC (20 years ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_2_3
Changes since 1.12: +9 -1
lines
Diff to previous 1.12 (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>.