=================================================================== RCS file: /home/cvs/OpenXM_contrib2/asir2000/engine/C.c,v retrieving revision 1.1.1.1 retrieving revision 1.9 diff -u -p -r1.1.1.1 -r1.9 --- OpenXM_contrib2/asir2000/engine/C.c 1999/12/03 07:39:07 1.1.1.1 +++ OpenXM_contrib2/asir2000/engine/C.c 2001/06/25 01:35:20 1.9 @@ -1,4 +1,52 @@ -/* $OpenXM: OpenXM/src/asir99/engine/C.c,v 1.1.1.1 1999/11/10 08:12:26 noro Exp $ */ +/* + * Copyright (c) 1994-2000 FUJITSU LABORATORIES LIMITED + * All rights reserved. + * + * 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/engine/C.c,v 1.8 2001/06/20 09:30:33 noro Exp $ +*/ #include "ca.h" #include "inline.h" #include "base.h" @@ -181,6 +229,83 @@ P *gp; } } +void ptosfp(p,pr) +P p; +P *pr; +{ + DCP dc,dcr,dcr0; + GFS a; + P t; + + if ( !p ) + *pr = 0; + else if ( NUM(p) ) { + qtogfs((Q)p,&a); *pr = (P)a; + } else { + for ( dc = DC(p), dcr0 = 0; dc; dc = NEXT(dc) ) { + ptosfp(COEF(dc),&t); + if ( t ) { + NEXTDC(dcr0,dcr); DEG(dcr) = DEG(dc); COEF(dcr) = t; + } + } + if ( !dcr0 ) + *pr = 0; + else { + NEXT(dcr) = 0; MKP(VR(p),dcr0,*pr); + } + } +} + +void sfptop(f,gp) +P f; +P *gp; +{ + DCP dc,dcr,dcr0; + Q q; + MQ fq; + + if ( !f ) + *gp = 0; + else if ( NUM(f) ) { + gfstomq((GFS)f,&fq); + STOQ(CONT(fq),q); + *gp = (P)q; + } else { + for ( dc = DC(f), dcr0 = 0; dc; dc = NEXT(dc) ) { + NEXTDC(dcr0,dcr); DEG(dcr) = DEG(dc); sfptop(COEF(dc),&COEF(dcr)); + } + NEXT(dcr) = 0; MKP(VR(f),dcr0,*gp); + } +} + +void sf_galois_action(p,e,pr) +P p; +Q e; +P *pr; +{ + DCP dc,dcr,dcr0; + GFS a; + P t; + + if ( !p ) + *pr = 0; + else if ( NUM(p) ) { + gfs_galois_action(p,e,&a); *pr = (P)a; + } else { + for ( dc = DC(p), dcr0 = 0; dc; dc = NEXT(dc) ) { + sf_galois_action(COEF(dc),e,&t); + if ( t ) { + NEXTDC(dcr0,dcr); DEG(dcr) = DEG(dc); COEF(dcr) = t; + } + } + if ( !dcr0 ) + *pr = 0; + else { + NEXT(dcr) = 0; MKP(VR(p),dcr0,*pr); + } + } +} + void ptolmp(p,pr) P p; P *pr; @@ -274,6 +399,63 @@ P *f; } } +void ptosfum(f,wf) +P f; +UM wf; +{ + GFS c; + int i; + DCP dc; + + if ( OID(f) == O_N ) { + DEG(wf) = 0; + COEF(wf)[0] = FTOIF(CONT((GFS)f)); + return; + } + + for ( i = UDEG(f); i >= 0; i-- ) + COEF(wf)[i] = 0; + + for ( dc = DC(f); dc; dc = NEXT(dc) ) { + c = (GFS)COEF(dc); + if ( c ) + COEF(wf)[QTOS(DEG(dc))] = FTOIF(CONT(c)); + } + degum(wf,UDEG(f)); +} + +void sfumtop(v,w,f) +V v; +UM w; +P *f; +{ + int *c; + DCP dc,dc0; + int i,t; + GFS q; + + if ( DEG(w) < 0 ) + *f = 0; + else if ( DEG(w) == 0 ) { + t = COEF(w)[0]; + t = IFTOF(t); + MKGFS(t,q); + *f = (P)q; + } else { + for ( i = DEG(w), c = COEF(w), dc0 = 0; i >= 0; i-- ) + if ( c[i] ) { + NEXTDC(dc0,dc); + STOQ(i,DEG(dc)); + t = COEF(w)[i]; + t = IFTOF(t); + MKGFS(t,q); + COEF(dc) = (P)q; + } + NEXT(dc) = 0; + MKP(v,dc0,*f); + } +} + void ptoup(n,nr) P n; UP *nr; @@ -695,4 +877,27 @@ P *pr; } NEXT(dc) = 0; MKP(v,dc0,*pr); } +} + +/* f(p) -> f(x) */ + +void enc_to_p(p,a,v,pr) +int p,a; +V v; +P *pr; +{ + DCP dc,dct; + int i,c; + Q dq,cq; + + dc = 0; + for ( i = 0; a; i++, a /= p ) { + c = a%p; + if ( c ) { + STOQ(i,dq); STOQ(c,cq); + NEWDC(dct); DEG(dct) = dq; COEF(dct) = (P)cq; + NEXT(dct) = dc; dc = dct; + } + } + MKP(v,dc,*pr); }