| version 1.3, 2000/06/05 02:26:48 |
version 1.6, 2000/08/22 05:04:22 |
|
|
| /* $OpenXM: OpenXM_contrib2/asir2000/lib/gr,v 1.2 2000/01/11 06:43:37 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.5 2000/08/21 08:31:41 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 1307 def r_ttob_gsl(L,M) |
|
| Line 1355 def r_ttob_gsl(L,M) |
|
| def get_matrix() |
def get_matrix() |
| { |
{ |
| REMOTE_MATRIX; |
REMOTE_MATRIX; |
| |
} |
| |
|
| |
extern NFArray$ |
| |
|
| |
/* |
| |
* HL = [[c,i,m,d],...] |
| |
* if c != 0 |
| |
* g = 0 |
| |
* g = (c*g + m*gi)/d |
| |
* ... |
| |
* finally compare g with NF |
| |
* if g == NF then NFArray[NFIndex] = g |
| |
* |
| |
* if c = 0 then HL consists of single history [0,i,0,0], |
| |
* which means that dehomogenization of NFArray[i] should be |
| |
* eqall to NF. |
| |
*/ |
| |
|
| |
def check_trace(NF,NFIndex,HL) |
| |
{ |
| |
if ( !car(HL)[0] ) { |
| |
/* dehomogenization */ |
| |
DH = dp_dehomo(NFArray[car(HL)[1]]); |
| |
if ( NF == DH ) { |
| |
realloc_NFArray(NFIndex); |
| |
NFArray[NFIndex] = NF; |
| |
return 0; |
| |
} else |
| |
error("check_trace(dehomo)"); |
| |
} |
| |
|
| |
for ( G = 0, T = HL; T != []; T = cdr(T) ) { |
| |
H = car(T); |
| |
|
| |
Coeff = H[0]; |
| |
Index = H[1]; |
| |
Monomial = H[2]; |
| |
Denominator = H[3]; |
| |
|
| |
Reducer = NFArray[Index]; |
| |
G = (Coeff*G+Monomial*Reducer)/Denominator; |
| |
} |
| |
if ( NF == G ) { |
| |
realloc_NFArray(NFIndex); |
| |
NFArray[NFIndex] = NF; |
| |
return 0; |
| |
} else |
| |
error("check_trace"); |
| |
} |
| |
|
| |
/* |
| |
* realloc NFArray so that it can hold * an element as NFArray[Ind]. |
| |
*/ |
| |
|
| |
def realloc_NFArray(Ind) |
| |
{ |
| |
if ( Ind == size(NFArray)[0] ) { |
| |
New = newvect(Ind + 100); |
| |
for ( I = 0; I < Ind; I++ ) |
| |
New[I] = NFArray[I]; |
| |
NFArray = New; |
| |
} |
| |
} |
| |
|
| |
/* |
| |
* create NFArray and initialize it by List. |
| |
*/ |
| |
|
| |
def register_input(List) |
| |
{ |
| |
Len = length(List); |
| |
NFArray = newvect(Len+100,List); |
| } |
} |
| end$ |
end$ |