| version 1.4, 2000/07/14 08:26:40 | version 1.7, 2000/09/07 23:59:55 | 
|  |  | 
| /* $OpenXM: OpenXM_contrib2/asir2000/lib/gr,v 1.3 2000/06/05 02:26:48 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/gr,v 1.6 2000/08/22 05:04:22 noro Exp $ | 
|  | */ | 
| extern INIT_COUNT,ITOR_FAIL$ | extern INIT_COUNT,ITOR_FAIL$ | 
| extern REMOTE_MATRIX,REMOTE_NF,REMOTE_VARS$ | extern REMOTE_MATRIX,REMOTE_NF,REMOTE_VARS$ | 
|  |  | 
| 
| Line 206  def tolex_gsl_main(G0,V,O,W,NFL,NPOSV,GM,M,MB) |  | 
| Line 254  def tolex_gsl_main(G0,V,O,W,NFL,NPOSV,GM,M,MB) |  | 
| R += B[0][K]*TERMS[K]; | R += B[0][K]*TERMS[K]; | 
| LCM *= B[1]; | LCM *= B[1]; | 
| SL = cons(cons(V1,[R,LCM]),SL); | SL = cons(cons(V1,[R,LCM]),SL); | 
| print(["DN",B[1]]); | if ( dp_gr_print() ) | 
|  | print(["DN",B[1]]); | 
| } | } | 
| return SL; | return SL; | 
| } | } | 
| 
| Line 217  def hen_ttob_gsl(LHS,RHS,TERMS,M) |  | 
| Line 266  def hen_ttob_gsl(LHS,RHS,TERMS,M) |  | 
| L1 = idiv(LCM,LDN); R1 = idiv(LCM,RDN); | L1 = idiv(LCM,LDN); R1 = idiv(LCM,RDN); | 
| T0 = time()[0]; | T0 = time()[0]; | 
| S = henleq_gsl(RHS[0],LHS[0]*L1,M); | S = henleq_gsl(RHS[0],LHS[0]*L1,M); | 
| print(["henleq_gsl",time()[0]-T0]); | if ( dp_gr_print() ) | 
|  | print(["henleq_gsl",time()[0]-T0]); | 
| N = length(TERMS); | N = length(TERMS); | 
| return [S[0],S[1]*R1]; | return [S[0],S[1]*R1]; | 
| } | } | 
| 
| Line 282  def tolex_main(V,O,NF,GM,M,MB) |  | 
| Line 332  def tolex_main(V,O,NF,GM,M,MB) |  | 
| U += B[0][I-1]*S[I]; | U += B[0][I-1]*S[I]; | 
| R = ptozp(U); | R = ptozp(U); | 
| SL = cons(R,SL); | SL = cons(R,SL); | 
| print(["DN",B[1]]); | if ( dp_gr_print() ) | 
|  | print(["DN",B[1]]); | 
| } | } | 
| return SL; | return SL; | 
| } | } | 
| 
| Line 351  def gennf(G,TL,V,O,V0,FLAG) |  | 
| Line 402  def gennf(G,TL,V,O,V0,FLAG) |  | 
| if ( dp_gr_print() ) | if ( dp_gr_print() ) | 
| print(".",2); | print(".",2); | 
| } | } | 
| print(""); | if ( dp_gr_print() ) | 
|  | print(""); | 
| TTAB = time()[0]-T0; | TTAB = time()[0]-T0; | 
| } | } | 
|  |  | 
| 
| Line 506  def tolexm_main(PS,HL,V,W,M,FLAG) |  | 
| Line 558  def tolexm_main(PS,HL,V,W,M,FLAG) |  | 
| print(".",2); | print(".",2); | 
| UTAB[I] = [MB[I],dp_nf_mod(GI,U*dp_mod(MB[I],M,[]),PS,1,M)]; | UTAB[I] = [MB[I],dp_nf_mod(GI,U*dp_mod(MB[I],M,[]),PS,1,M)]; | 
| } | } | 
| print(""); | if ( dp_gr_print() ) | 
|  | print(""); | 
| T = dp_mod(dp_ptod(dp_dtop(dp_vtoe(D),W),V),M,[]); | T = dp_mod(dp_ptod(dp_dtop(dp_vtoe(D),W),V),M,[]); | 
| H = G = [[T,T]]; | H = G = [[T,T]]; | 
| DL = []; G2 = []; | DL = []; G2 = []; |