[BACK]Return to demo.k CVS log [TXT][DIR] Up to [local] / OpenXM / src / k097 / lib / restriction

Diff for /OpenXM/src/k097/lib/restriction/demo.k between version 1.5 and 1.6

version 1.5, 2000/12/28 00:08:14 version 1.6, 2001/01/05 11:14:29
Line 1 
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["restriction.k"];;
 load("../ox/ox.k");;  load("../ox/ox.k");;
Line 43  def asir_generic_bfct(a,ii,vv,dd,ww) {
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]): */     asir_generic_bfct(a,[Dx^2+Dy^2-1,Dx*Dy-4],[x,y],[Dx,Dy],[1,1]): */
   
 /* usage: misc/tmp/complex-ja.texi */  /* usage: misc/tmp/complex-ja.texi */
 def changeRing(f) {  def ChangeRing(f) {
   local r;    local r;
   r = GetRing(f);    r = GetRing(f);
   if (Tag(r) == 14) {    if (Tag(r) == 14) {
Line 57  def changeRing(f) {
Line 57  def changeRing(f) {
 def asir_BfRoots2(G) {  def asir_BfRoots2(G) {
    local bb,ans,ss;     local bb,ans,ss;
    sm1(" G flatten {dehomogenize} map /G set ");     sm1(" G flatten {dehomogenize} map /G set ");
    changeRing(G);     ChangeRing(G);
    ss = asir_generic_bfct(asssssir,G,[x,y],[Dx,Dy],[1,1]);     ss = asir_generic_bfct(asssssir,G,[x,y],[Dx,Dy],[1,1]);
    bb = [ss];     bb = [ss];
    sm1(" bb 0 get findIntegralRoots { (universalNumber) dc } map /ans set ");     sm1(" bb 0 get findIntegralRoots { (universalNumber) dc } map /ans set ");
Line 66  def asir_BfRoots2(G) {
Line 66  def asir_BfRoots2(G) {
 def asir_BfRoots3(G) {  def asir_BfRoots3(G) {
    local bb,ans,ss;     local bb,ans,ss;
    sm1(" G flatten {dehomogenize} map /G set ");     sm1(" G flatten {dehomogenize} map /G set ");
    changeRing(G);     ChangeRing(G);
    ss = asir_generic_bfct(asssssir,G,[x,y,z],[Dx,Dy,Dz],[1,1,1]);     ss = asir_generic_bfct(asssssir,G,[x,y,z],[Dx,Dy,Dz],[1,1,1]);
    bb = [ss];     bb = [ss];
    sm1(" bb 0 get findIntegralRoots { (universalNumber) dc } map /ans set ");     sm1(" bb 0 get findIntegralRoots { (universalNumber) dc } map /ans set ");

Legend:
Removed from v.1.5  
changed lines
  Added in v.1.6

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>