OpenXM_contrib2/asir2000/builtin/poly.c - diff

Return to poly.c CVS log

Up to [local] / OpenXM_contrib2 / asir2000 / builtin

Diff for /OpenXM_contrib2/asir2000/builtin/poly.c between version 1.3 and 1.11

version 1.3, 2000/01/11 06:43:35

version 1.11, 2001/05/28 08:22:00

Line 1

/* $OpenXM: OpenXM_contrib2/asir2000/builtin/poly.c,v 1.2 1999/12/27 04:16:30 noro Exp $ */

* FUJITSU LABORATORIES LIMITED ("FLL") hereby grants you a limited,

* non-exclusive and royalty-free license to use, copy, modify and

* redistribute, solely for non-commercial and non-profit purposes, the

* computer program, "Risa/Asir" ("SOFTWARE"), subject to the terms and

* conditions of this Agreement. For the avoidance of doubt, you acquire

* only a limited right to use the SOFTWARE hereunder, and FLL or any

* third party developer retains all rights, including but not limited to

* copyrights, in and to the SOFTWARE.

* (1) FLL does not grant you a license in any way for commercial

* purposes. You may use the SOFTWARE only for non-commercial and

* non-profit purposes only, such as academic, research and internal

* business use.

* (2) The SOFTWARE is protected by the Copyright Law of Japan and

* international copyright treaties. If you make copies of the SOFTWARE,

* with or without modification, as permitted hereunder, you shall affix

* to all such copies of the SOFTWARE the above copyright notice.

* (3) An explicit reference to this SOFTWARE and its copyright owner

* shall be made on your publication or presentation in any form of the

* results obtained by use of the SOFTWARE.

* (4) In the event that you modify the SOFTWARE, you shall notify FLL by

* e-mail at risa-admin@sec.flab.fujitsu.co.jp of the detailed specification

* for such modification or the source code of the modified part of the

* SOFTWARE.

* THE SOFTWARE IS PROVIDED AS IS WITHOUT ANY WARRANTY OF ANY KIND. FLL

* MAKES ABSOLUTELY NO WARRANTIES, EXPRESSED, IMPLIED OR STATUTORY, AND

* EXPRESSLY DISCLAIMS ANY IMPLIED WARRANTY OF MERCHANTABILITY, FITNESS

* FOR A PARTICULAR PURPOSE OR NONINFRINGEMENT OF THIRD PARTIES'

* RIGHTS. NO FLL DEALER, AGENT, EMPLOYEES IS AUTHORIZED TO MAKE ANY

* MODIFICATIONS, EXTENSIONS, OR ADDITIONS TO THIS WARRANTY.

* UNDER NO CIRCUMSTANCES AND UNDER NO LEGAL THEORY, TORT, CONTRACT,

* OR OTHERWISE, SHALL FLL BE LIABLE TO YOU OR ANY OTHER PERSON FOR ANY

* DIRECT, INDIRECT, SPECIAL, INCIDENTAL, PUNITIVE OR CONSEQUENTIAL

* DAMAGES OF ANY CHARACTER, INCLUDING, WITHOUT LIMITATION, DAMAGES

* ARISING OUT OF OR RELATING TO THE SOFTWARE OR THIS AGREEMENT, DAMAGES

* FOR LOSS OF GOODWILL, WORK STOPPAGE, OR LOSS OF DATA, OR FOR ANY

* DAMAGES, EVEN IF FLL SHALL HAVE BEEN INFORMED OF THE POSSIBILITY OF

* SUCH DAMAGES, OR FOR ANY CLAIM BY ANY OTHER PARTY. EVEN IF A PART

* OF THE SOFTWARE HAS BEEN DEVELOPED BY A THIRD PARTY, THE THIRD PARTY

* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,

* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.

* $OpenXM: OpenXM_contrib2/asir2000/builtin/poly.c,v 1.10 2001/05/09 01:41:41 noro Exp $

#include "ca.h"

#include "parse.h"

#include "base.h"

Line 15 void Pp_mag(),Pmaxblen();

Line 63 void Pp_mag(),Pmaxblen();

void Pmergelist(), Pch_mv(), Pre_mv(), Pdeglist();

void Pptomp(),Pmptop();

void Pptolmp(),Plmptop();

void Pptosfp(),Psfptop(),Psf_galois_action();

void Pptogf2n(),Pgf2ntop(),Pgf2ntovect();

void Pptogfpn(),Pgfpntop();

void Pfind_root_gf2n();

Line 51 void Pis_irred_gf2();

Line 100 void Pis_irred_gf2();

void Pis_irred_ddd_gf2();

void Pget_next_fft_prime();

void Puadj_coef();

void Preorder();

void Phomogeneous_part();

void Phomogeneous_deg();

void simp_ff(Obj,Obj *);

void ranp(int,UP *);

void field_order_ff(N *);

Line 62 extern int lm_lazy;

Line 114 extern int lm_lazy;

int current_ff;

struct ftab poly_tab[] = {

{"homogeneous_deg",Phomogeneous_deg,-2},

{"homogeneous_part",Phomogeneous_part,-3},

{"reorder",Preorder,3},

{"uadj_coef",Puadj_coef,3},

{"ranp",Pranp,2},

{"p_mag",Pp_mag,1},

Line 95 struct ftab poly_tab[] = {

Line 150 struct ftab poly_tab[] = {

{"ptolmp",Pptolmp,1},

{"lmptop",Plmptop,1},

{"sf_galois_action",Psf_galois_action,2},

{"ptosfp",Pptosfp,1},

{"sfptop",Psfptop,1},

{"ptogf2n",Pptogf2n,1},

{"gf2ntop",Pgf2ntop,-2},

{"gf2ntovect",Pgf2ntovect,1},

Line 164 struct ftab poly_tab[] = {

Line 223 struct ftab poly_tab[] = {

extern V up_var;

void Phomogeneous_part(arg,rp)

NODE arg;

P *rp;

{

if ( argc(arg) == 2 )

exthp(CO,(P)ARG0(arg),QTOS((Q)ARG1(arg)),rp);

else

exthpc_generic(CO,(P)ARG0(arg),QTOS((Q)ARG2(arg)),

VR((P)ARG1(arg)),rp);

}

void Phomogeneous_deg(arg,rp)

NODE arg;

Q *rp;

{

int d;

if ( argc(arg) == 1 )

d = homdeg((P)ARG0(arg));

else

d = getchomdeg(VR((P)ARG1(arg)),(P)ARG0(arg));

STOQ(d,*rp);

}

p1 = reorder(p,ovl,nvl) => p1 is 'sorted accoding to nvl.

void Preorder(arg,rp)

NODE arg;

P *rp;

{

VL ovl,nvl,tvl;

NODE n;

for ( ovl = 0, n = BDY((LIST)ARG1(arg)); n; n = NEXT(n) ) {

if ( !ovl ) {

NEWVL(ovl); tvl = ovl;

} else {

NEWVL(NEXT(tvl)); tvl = NEXT(tvl);

}

VR(tvl) = VR((P)BDY(n));

}

for ( nvl = 0, n = BDY((LIST)ARG2(arg)); n; n = NEXT(n) ) {

if ( !nvl ) {

NEWVL(nvl); tvl = nvl;

} else {

NEWVL(NEXT(tvl)); tvl = NEXT(tvl);

}

VR(tvl) = VR((P)BDY(n));

}

reorderp(nvl,ovl,(P)ARG0(arg),rp);

}

uadj_coef(F,M,M2)

if ( F is a non-negative integer )

Line 615 Q *rp;

Line 728 Q *rp;

STOQ(ret,*rp);

}

extern P current_gfs_ext;

extern int current_gfs_p;

extern int current_gfs_q;

extern int current_gfs_q1;

extern int *current_gfs_plus1;

extern int *current_gfs_ntoi;

extern int *current_gfs_iton;

void Psetmod_ff(arg,rp)

NODE arg;

Obj *rp;

{

int ac;

int d;

Obj mod,defpoly;

N n;

UP up;

UP2 up2;

Q q;

Q q,r;

P p;

NODE n0,n1;

LIST list;

Line 637 Obj *rp;

Line 759 Obj *rp;

switch ( OID(mod) ) {

case O_N:

current_ff = FF_GFP;

setmod_lm(NM((Q)mod)); break;

setmod_lm(NM((Q)mod));

break;

case O_P:

current_ff = FF_GF2N;

setmod_gf2n((P)mod); break;

Line 645 Obj *rp;

Line 768 Obj *rp;

error("setmod_ff : invalid argument");

}

} else if ( ac == 2 ) {

current_ff = FF_GFPN;

if ( OID(ARG0(arg)) == O_N ) {

defpoly = (Obj)ARG0(arg);

/* small finite field; primitive root representation */

mod = (Obj)ARG1(arg);

current_ff = FF_GFS;

if ( !mod || !defpoly )

setmod_sf(QTOS((Q)ARG0(arg)),QTOS((Q)ARG1(arg)));

error("setmod_ff : invalid argument");

} else {

setmod_lm(NM((Q)mod));

mod = (Obj)ARG1(arg);

setmod_gfpn((P)defpoly);

current_ff = FF_GFPN;

defpoly = (Obj)ARG0(arg);

if ( !mod || !defpoly )

error("setmod_ff : invalid argument");

setmod_lm(NM((Q)mod));

setmod_gfpn((P)defpoly);

}

switch ( current_ff ) {

case FF_GFP:

Line 664 Obj *rp;

Line 793 Obj *rp;

MKNODE(n1,q,0); MKNODE(n0,p,n1);

MKLIST(list,n0);

*rp = (Obj)list; break;

case FF_GFS:

STOQ(current_gfs_p,q);

if ( current_gfs_ext ) {

enc_to_p(current_gfs_p,current_gfs_iton[1],

VR(current_gfs_ext),&p);

n0 = mknode(3,q,current_gfs_ext,p);

} else {

if ( current_gfs_p == 2 )

r = ONE;

else

STOQ(current_gfs_iton[1],r);

n0 = mknode(3,q,current_gfs_ext,r);

}

MKLIST(list,n0);

*rp = (Obj)list; break;

default:

*rp = 0; break;

}

Line 683 Q *rp;

Line 827 Q *rp;

getmod_gf2n(&up2); d = degup2(up2); STOQ(d,*rp); break;

case FF_GFPN:

getmod_gfpn(&up); STOQ(up->d,*rp); break;

case FF_GFS:

if ( !current_gfs_ext )

*rp = ONE;

else

*rp = DEG(DC(current_gfs_ext));

break;

default:

error("extdeg_ff : current_ff is not set");

}

Line 699 Q *rp;

Line 849 Q *rp;

getmod_lm(&lm); NTOQ(lm,1,*rp); break;

case FF_GF2N:

STOQ(2,*rp); break;

case FF_GFS:

STOQ(current_gfs_p,*rp); break;

default:

error("characteristic_ff : current_ff is not set");

}

Line 741 N *order;

Line 893 N *order;

case FF_GFPN:

getmod_lm(&m);

getmod_gfpn(&up); pwrn(m,up->d,order); break;

case FF_GFS:

STON(current_gfs_q,*order); break;

default:

error("field_order_ff : current_ff is not set");

}

Line 752 Obj *rp;

Line 906 Obj *rp;

LM l;

GF2N g;

GFPN p;

GFS s;

switch ( current_ff ) {

case FF_GFP:

Line 760 Obj *rp;

Line 915 Obj *rp;

randomgf2n(&g); *rp = (Obj)g; break;

case FF_GFPN:

randomgfpn(&p); *rp = (Obj)p; break;

case FF_GFS:

randomgfs(&s); *rp = (Obj)s; break;

default:

error("random_ff : current_ff is not set");

}

Line 785 Obj *rp;

Line 942 Obj *rp;

DCP dc,dcr0,dcr;

GF2N rg,sg;

GFPN rpn,spn;

GFS rs;

P t;

Obj obj;

Line 802 Obj *rp;

Line 960 Obj *rp;

case FF_GFPN:

ntogfpn((Obj)p,&rpn); simpgfpn((GFPN)rpn,&spn); *rp = (Obj)spn;

break;

case FF_GFS:

if ( NID((Num)p) == N_GFS )

*rp = p;

else {

ptomp(current_gfs_p,(P)p,&t); mqtogfs(t,&rs);

*rp = (Obj)rs;

}

break;

default:

*rp = (Obj)p;

break;

Line 1015 P *rp;

Line 1181 P *rp;

lmptop((P)ARG0(arg),rp);

}

void Psf_galois_action(arg,rp)

NODE arg;

P *rp;

{

sf_galois_action(ARG0(arg),ARG1(arg),rp);

}

void Pptosfp(arg,rp)

NODE arg;

P *rp;

{

ptosfp(ARG0(arg),rp);

}

void Psfptop(arg,rp)

NODE arg;

P *rp;

{

sfptop((P)ARG0(arg),rp);

}

void Pptogf2n(arg,rp)

NODE arg;

GF2N *rp;

Line 1179 P *rp;

Line 1366 P *rp;

case FF_GF2N:

powermodup_gf2n(p1,&p2); break;

case FF_GFPN:

case FF_GFS:

powermodup(p1,&p2); break;

default:

error("pwrmod_ff : current_ff is not set");

Line 1200 P *rp;

Line 1388 P *rp;

case FF_GF2N:

generic_powermodup_gf2n(g,f,(Q)ARG2(arg),&r); break;

case FF_GFPN:

case FF_GFS:

generic_powermodup(g,f,(Q)ARG2(arg),&r); break;

default:

error("generic_pwrmod_ff : current_ff is not set");

Line 1227 VECT *rp;

Line 1416 VECT *rp;

case FF_GF2N:

powertabup_gf2n(f,xp,tab); break;

case FF_GFPN:

case FF_GFS:

powertabup(f,xp,tab); break;

default:

error("pwrtab_ff : current_ff is not set");

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