OpenXM/src/k097/lib/restriction/demo.k - diff

Return to demo.k CVS log

Up to [local] / OpenXM / src / k097 / lib / restriction

version 1.5, 2000/12/28 00:08:14

version 1.6, 2001/01/05 11:14:29

Line 1

/* $OpenXM: OpenXM/src/k097/lib/restriction/demo.k,v 1.4 2000/12/27 10:16:13 takayama Exp $ */

/* $OpenXM: OpenXM/src/k097/lib/restriction/demo.k,v 1.5 2000/12/28 00:08:14 takayama Exp $ */

load["restriction.k"];;

load("../ox/ox.k");;

Line 43 def asir_generic_bfct(a,ii,vv,dd,ww) {

asir_generic_bfct(a,[Dx^2+Dy^2-1,Dx*Dy-4],[x,y],[Dx,Dy],[1,1]): */

/* usage: misc/tmp/complex-ja.texi */

def changeRing(f) {

def ChangeRing(f) {

local r;

r = GetRing(f);

if (Tag(r) == 14) {

Line 57 def changeRing(f) {

def asir_BfRoots2(G) {

local bb,ans,ss;

sm1(" G flatten {dehomogenize} map /G set ");

changeRing(G);

ChangeRing(G);

ss = asir_generic_bfct(asssssir,G,[x,y],[Dx,Dy],[1,1]);

bb = [ss];

sm1(" bb 0 get findIntegralRoots { (universalNumber) dc } map /ans set ");

Line 66 def asir_BfRoots2(G) {