| version 1.1.1.1, 1999/12/03 07:39:11 |
version 1.5, 2001/05/09 01:41:42 |
|
|
| /* $OpenXM: OpenXM/src/asir99/lib/fff,v 1.1.1.1 1999/11/10 08:12:31 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/lib/fff,v 1.4 2001/03/08 07:49:13 noro Exp $ |
| |
*/ |
| |
/* |
| fff : Univariate factorizer over a finite field. |
fff : Univariate factorizer over a finite field. |
| |
|
| Revision History: |
Revision History: |
|
|
| F2 = ugcd(F,F1); |
F2 = ugcd(F,F1); |
| /* FLAT = H/gcd(H,H') : square free part of H */ |
/* FLAT = H/gcd(H,H') : square free part of H */ |
| FLAT = sdiv(F,F2); |
FLAT = sdiv(F,F2); |
| |
FLAT /= LCOEF(FLAT); |
| I = 0; |
I = 0; |
| /* square free factorization of H */ |
/* square free factorization of H */ |
| while ( deg(FLAT,V) ) { |
while ( deg(FLAT,V) ) { |
|
|
| FLAT1 = simp_ff(1); |
FLAT1 = simp_ff(1); |
| else |
else |
| FLAT1 = ugcd(F,FLAT); |
FLAT1 = ugcd(F,FLAT); |
| |
FLAT1 /= LCOEF(FLAT1); |
| G = sdiv(FLAT,FLAT1); |
G = sdiv(FLAT,FLAT1); |
| FLAT = FLAT1; |
FLAT = FLAT1; |
| L = cons([G,I],L); |
L = cons([G,I],L); |
| Line 419 def lnf_insert(P,L,V) |
|
| Line 469 def lnf_insert(P,L,V) |
|
| def c_z_ff(F,E) |
def c_z_ff(F,E) |
| { |
{ |
| Type = field_type_ff(); |
Type = field_type_ff(); |
| if ( Type == 1 || Type == 3 ) |
if ( Type == 1 || Type == 3 || Type == 4 ) |
| return c_z_lm(F,E); |
return c_z_lm(F,E); |
| else |
else |
| return c_z_gf2n(F,E); |
return c_z_gf2n(F,E); |