1 2(SDEFUN |INBFF;inv;2V;1| ((|a| |Vector| GF) ($ |Vector| GF)) 3 (SPROG ((|erg| (|Vector| GF)) (|b| (|Vector| GF)) (#1=#:G417 NIL)) 4 (SEQ 5 (LETT |b| 6 (SPADCALL 7 (SPADCALL |a| 8 (SPADCALL 9 (PROG1 (LETT #1# (- (QVSIZE |a|) 1)) 10 (|check_subtype2| (>= #1# 0) 11 '(|NonNegativeInteger|) 12 '(|Integer|) #1#)) 13 (QREFELT $ 17)) 14 1 (QREFELT $ 19)) 15 1 (QREFELT $ 20))) 16 (EXIT 17 (LETT |erg| 18 (SPADCALL 19 (SPADCALL 20 (SPADCALL 21 (SPADCALL (SPADCALL |a| |b| (QREFELT $ 21)) 1 22 (QREFELT $ 22)) 23 (QREFELT $ 12) (QREFELT $ 23)) 24 (QREFELT $ 24)) 25 |b| (QREFELT $ 25))))))) 26 27(SDEFUN |INBFF;^;VIV;2| ((|a| |Vector| GF) (|ex| |Integer|) ($ |Vector| GF)) 28 (SPROG 29 ((|mult| (|Integer|)) (|k| (|SingleInteger|)) 30 (|expT| (|List| (|SingleInteger|))) (|logqe| (|SingleInteger|)) 31 (|q1| (|SingleInteger|)) (|e1| (|SingleInteger|)) 32 (|e| (|NonNegativeInteger|)) (#1=#:G428 NIL) (#2=#:G427 NIL)) 33 (SEQ 34 (LETT |e| 35 (PROG1 36 (LETT #1# 37 (SPADCALL |ex| 38 (- 39 (EXPT (QREFELT $ 9) 40 (PROG1 (LETT #2# (QVSIZE |a|)) 41 (|check_subtype2| (> #2# 0) 42 '(|PositiveInteger|) 43 '(|NonNegativeInteger|) 44 #2#))) 45 1) 46 (QREFELT $ 27))) 47 (|check_subtype2| (>= #1# 0) '(|NonNegativeInteger|) 48 '(|Integer|) #1#))) 49 (EXIT 50 (COND ((ZEROP |e|) (MAKEARR1 (QVSIZE |a|) (QREFELT $ 12))) 51 ((EQL |e| 1) (SPADCALL |a| (QREFELT $ 28))) 52 (#3='T 53 (SEQ 54 (LETT |e1| (SPADCALL (INTEGER-LENGTH |e|) (QREFELT $ 17))) 55 (EXIT 56 (COND 57 ((> (QREFELT $ 9) 11) 58 (SEQ 59 (LETT |q1| 60 (SPADCALL (INTEGER-LENGTH (QREFELT $ 9)) 61 (QREFELT $ 17))) 62 (LETT |logqe| (|add_SI| (|quo_SI| |e1| |q1|) 1)) 63 (EXIT 64 (COND 65 ((> (* 10 (- (+ |logqe| (QREFELT $ 9)) 2)) 66 (|mul_SI| 15 |e1|)) 67 (SPADCALL |a| |e| (QREFELT $ 29))) 68 (#3# (SPADCALL |a| |e| 1 (QREFELT $ 30))))))) 69 (#3# 70 (SEQ 71 (LETT |logqe| 72 (|add_SI| 73 (|quo_SI| (|mul_SI| 10 |e1|) 74 (SPADCALL (QREFELT $ 13) (QREFELT $ 9) 75 (QREFELT $ 32))) 76 1)) 77 (LETT |k| 1) 78 (LETT |expT| 79 (SPADCALL (QREFELT $ 14) (QREFELT $ 9) 80 (QREFELT $ 34))) 81 (SEQ G190 82 (COND 83 ((NULL 84 (COND 85 ((SPADCALL |logqe| 86 (SPADCALL |expT| |k| (QREFELT $ 32)) 87 (QREFELT $ 36)) 88 (NULL 89 (|zero?_SI| 90 (SPADCALL |expT| |k| (QREFELT $ 32))))) 91 ('T NIL))) 92 (GO G191))) 93 (SEQ (EXIT (LETT |k| (|add_SI| |k| 1)))) NIL 94 (GO G190) G191 (EXIT NIL)) 95 (LETT |mult| 96 (- 97 (+ 98 (* (- (QREFELT $ 9) 1) 99 (EXPT (QREFELT $ 9) (|sub_SI| |k| 1))) 100 (|quo_SI| (|sub_SI| (|add_SI| |logqe| |k|) 1) 101 |k|)) 102 2)) 103 (EXIT 104 (COND 105 ((>= (* 10 |mult|) (* 15 |e1|)) 106 (SPADCALL |a| |e| (QREFELT $ 29))) 107 (#3# 108 (SPADCALL |a| |e| |k| (QREFELT $ 30)))))))))))))))) 109 110(SDEFUN |INBFF;repSq;VNniV;3| 111 ((|b| |Vector| GF) (|e| |NonNegativeInteger|) ($ |Vector| GF)) 112 (SPROG ((|a| (|Vector| GF))) 113 (SEQ (LETT |a| (SPADCALL |b| (QREFELT $ 28))) 114 (EXIT 115 (COND ((EQL |e| 1) |a|) 116 ((ODDP |e|) 117 (SPADCALL |a| 118 (SPADCALL 119 (SPADCALL |a| |a| (QREFELT $ 21)) 120 (QUOTIENT2 |e| 2) (QREFELT $ 29)) 121 (QREFELT $ 21))) 122 ('T 123 (SPADCALL (SPADCALL |a| |a| (QREFELT $ 21)) 124 (QUOTIENT2 |e| 2) (QREFELT $ 29)))))))) 125 126(SDEFUN |INBFF;dAndcExp;VNniSiV;4| 127 ((|a| |Vector| GF) (|e| |NonNegativeInteger|) 128 (|k| . #1=(|SingleInteger|)) ($ |Vector| GF)) 129 (SPROG 130 ((|i| #1#) (|erg| (|Vector| GF)) (#2=#:G452 NIL) (|j| NIL) 131 (|ex| (|Integer|)) (|l| (|List| (|NonNegativeInteger|))) 132 (|plist| (|List| (|Vector| GF))) (|b| (|Vector| GF)) (#3=#:G451 NIL) 133 (|qk| (|Integer|))) 134 (SEQ (LETT |plist| (LIST (SPADCALL |a| (QREFELT $ 28)))) 135 (LETT |qk| (EXPT (QREFELT $ 9) |k|)) 136 (SEQ (LETT |j| 2) (LETT #3# (- |qk| 1)) G190 137 (COND ((|greater_SI| |j| #3#) (GO G191))) 138 (SEQ 139 (COND 140 ((EQL (SPADCALL |j| (QREFELT $ 9) (QREFELT $ 27)) 0) 141 (LETT |b| 142 (SPADCALL 143 (SPADCALL |plist| (QUOTIENT2 |j| (QREFELT $ 9)) 144 (QREFELT $ 39)) 145 1 (QREFELT $ 20)))) 146 ('T 147 (LETT |b| 148 (SPADCALL |a| (SPADCALL |plist| (QREFELT $ 40)) 149 (QREFELT $ 21))))) 150 (EXIT 151 (LETT |plist| (SPADCALL |plist| |b| (QREFELT $ 41))))) 152 (LETT |j| (|inc_SI| |j|)) (GO G190) G191 (EXIT NIL)) 153 (LETT |l| NIL) (LETT |ex| |e|) 154 (SEQ G190 (COND ((NULL (NULL (EQL |ex| 0))) (GO G191))) 155 (SEQ 156 (LETT |l| 157 (SPADCALL |l| (SPADCALL |ex| |qk| (QREFELT $ 27)) 158 (QREFELT $ 44))) 159 (EXIT (LETT |ex| (QUOTIENT2 |ex| |qk|)))) 160 NIL (GO G190) G191 (EXIT NIL)) 161 (COND 162 ((EQL (|SPADfirst| |l|) 0) 163 (LETT |erg| (MAKEARR1 (QVSIZE |a|) (QREFELT $ 12)))) 164 ('T 165 (LETT |erg| 166 (SPADCALL |plist| (|SPADfirst| |l|) (QREFELT $ 39))))) 167 (LETT |i| |k|) 168 (SEQ (LETT |j| NIL) (LETT #2# (CDR |l|)) G190 169 (COND 170 ((OR (ATOM #2#) (PROGN (LETT |j| (CAR #2#)) NIL)) 171 (GO G191))) 172 (SEQ 173 (COND 174 ((SPADCALL |j| 0 (QREFELT $ 45)) 175 (LETT |erg| 176 (SPADCALL |erg| 177 (SPADCALL 178 (SPADCALL |plist| |j| (QREFELT $ 39)) 179 |i| (QREFELT $ 20)) 180 (QREFELT $ 21))))) 181 (EXIT (LETT |i| (|add_SI| |i| |k|)))) 182 (LETT #2# (CDR #2#)) (GO G190) G191 (EXIT NIL)) 183 (EXIT |erg|)))) 184 185(SDEFUN |INBFF;*;3V;5| ((|a| |Vector| GF) (|b| |Vector| GF) ($ |Vector| GF)) 186 (SPROG 187 ((|k| (|SingleInteger|)) (|x| (|SingleInteger|)) (|y| (GF)) 188 (#1=#:G467 NIL) (|t| NIL) (#2=#:G466 NIL) (|j| NIL) (#3=#:G465 NIL) 189 (|i| NIL) (#4=#:G464 NIL) (#5=#:G463 NIL) (|erg| (|Vector| GF)) 190 (|e| (|SingleInteger|))) 191 (SEQ (LETT |e| (SPADCALL (QVSIZE |a|) (QREFELT $ 17))) 192 (LETT |erg| (SPADCALL (QVSIZE |a|) (QREFELT $ 46))) 193 (SEQ (LETT |t| NIL) 194 (LETT #5# (SPADCALL (QREFELT $ 11) 1 (QREFELT $ 50))) G190 195 (COND 196 ((OR (ATOM #5#) (PROGN (LETT |t| (CAR #5#)) NIL)) 197 (GO G191))) 198 (SEQ 199 (EXIT 200 (SEQ (LETT |j| 1) (LETT #4# |e|) G190 201 (COND ((|greater_SI| |j| #4#) (GO G191))) 202 (SEQ (LETT |y| (QCAR |t|)) (LETT |x| (QCDR |t|)) 203 (LETT |k| 204 (|add_SI| 205 (|addmod_SI| |x| 206 (SPADCALL |j| 207 (QREFELT $ 17)) 208 |e|) 209 1)) 210 (EXIT 211 (SPADCALL |erg| |k| 212 (SPADCALL 213 (SPADCALL |erg| |k| (QREFELT $ 22)) 214 (SPADCALL 215 (SPADCALL 216 (SPADCALL |a| |j| (QREFELT $ 22)) 217 (SPADCALL |b| |j| (QREFELT $ 22)) 218 (QREFELT $ 23)) 219 |y| (QREFELT $ 23)) 220 (QREFELT $ 51)) 221 (QREFELT $ 52)))) 222 (LETT |j| (|inc_SI| |j|)) (GO G190) G191 223 (EXIT NIL)))) 224 (LETT #5# (CDR #5#)) (GO G190) G191 (EXIT NIL)) 225 (SEQ (LETT |i| 1) (LETT #3# (|sub_SI| |e| 1)) G190 226 (COND ((|greater_SI| |i| #3#) (GO G191))) 227 (SEQ 228 (EXIT 229 (SEQ (LETT |j| (+ |i| 1)) (LETT #2# |e|) G190 230 (COND ((> |j| #2#) (GO G191))) 231 (SEQ 232 (EXIT 233 (SEQ (LETT |t| NIL) 234 (LETT #1# 235 (SPADCALL (QREFELT $ 11) 236 (+ (- |j| |i|) 1) 237 (QREFELT $ 50))) 238 G190 239 (COND 240 ((OR (ATOM #1#) 241 (PROGN (LETT |t| (CAR #1#)) NIL)) 242 (GO G191))) 243 (SEQ (LETT |y| (QCAR |t|)) 244 (LETT |x| (QCDR |t|)) 245 (LETT |k| 246 (|add_SI| 247 (|addmod_SI| |x| 248 (SPADCALL |i| 249 (QREFELT $ 250 17)) 251 |e|) 252 1)) 253 (EXIT 254 (SPADCALL |erg| |k| 255 (SPADCALL 256 (SPADCALL |erg| |k| 257 (QREFELT $ 22)) 258 (SPADCALL 259 (SPADCALL 260 (SPADCALL 261 (SPADCALL |a| |i| 262 (QREFELT $ 22)) 263 (SPADCALL |b| |j| 264 (QREFELT $ 22)) 265 (QREFELT $ 23)) 266 (SPADCALL 267 (SPADCALL |a| |j| 268 (QREFELT $ 22)) 269 (SPADCALL |b| |i| 270 (QREFELT $ 22)) 271 (QREFELT $ 23)) 272 (QREFELT $ 51)) 273 |y| (QREFELT $ 23)) 274 (QREFELT $ 51)) 275 (QREFELT $ 52)))) 276 (LETT #1# (CDR #1#)) (GO G190) G191 277 (EXIT NIL)))) 278 (LETT |j| (+ |j| 1)) (GO G190) G191 (EXIT NIL)))) 279 (LETT |i| (|inc_SI| |i|)) (GO G190) G191 (EXIT NIL)) 280 (EXIT |erg|)))) 281 282(SDEFUN |INBFF;lookup;VPi;6| ((|x| |Vector| GF) ($ |PositiveInteger|)) 283 (SPROG ((#1=#:G470 NIL) (#2=#:G469 NIL) (|erg| (|Integer|)) (|j| NIL)) 284 (SEQ (LETT |erg| 0) 285 (SEQ (LETT |j| (QVSIZE |x|)) G190 286 (COND ((< |j| 1) (GO G191))) 287 (SEQ 288 (EXIT 289 (LETT |erg| 290 (+ (* |erg| (QREFELT $ 9)) 291 (REM 292 (SPADCALL 293 (SPADCALL |x| |j| (QREFELT $ 22)) 294 (QREFELT $ 54)) 295 (QREFELT $ 9)))))) 296 (LETT |j| (+ |j| -1)) (GO G190) G191 (EXIT NIL)) 297 (EXIT 298 (COND 299 ((EQL |erg| 0) 300 (PROG1 (LETT #2# (EXPT (QREFELT $ 9) (QVSIZE |x|))) 301 (|check_subtype2| (> #2# 0) '(|PositiveInteger|) 302 '(|NonNegativeInteger|) #2#))) 303 ('T 304 (PROG1 (LETT #1# |erg|) 305 (|check_subtype2| (> #1# 0) '(|PositiveInteger|) 306 '(|Integer|) #1#)))))))) 307 308(SDEFUN |INBFF;norm;VPiV;7| 309 ((|a| |Vector| GF) (|d| |PositiveInteger|) ($ |Vector| GF)) 310 (SPROG 311 ((|r| 312 (|Record| (|:| |quotient| (|SingleInteger|)) 313 (|:| |remainder| (|SingleInteger|)))) 314 (|dSI| (|SingleInteger|))) 315 (SEQ (LETT |dSI| (SPADCALL |d| (QREFELT $ 17))) 316 (LETT |r| 317 (SPADCALL (SPADCALL (QVSIZE |a|) (QREFELT $ 17)) |dSI| 318 (QREFELT $ 57))) 319 (COND 320 ((NULL (|eql_SI| (QCDR |r|) 0)) 321 (EXIT (|error| "norm: 2.arg must divide extdeg")))) 322 (EXIT (SPADCALL |a| (QCAR |r|) |dSI| (QREFELT $ 19)))))) 323 324(SDEFUN |INBFF;expPot;V2SiV;8| 325 ((|a| |Vector| GF) (|e| |SingleInteger|) (|d| . #1=(|SingleInteger|)) 326 ($ |Vector| GF)) 327 (SPROG 328 ((|qpot| #1#) (|erg| #2=(|Vector| GF)) (|k2| #1#) (|y| #2#) 329 (#3=#:G486 NIL) (|k| NIL) (|deg| (|SingleInteger|))) 330 (SEQ (LETT |deg| (SPADCALL (QVSIZE |a|) (QREFELT $ 17))) 331 (EXIT 332 (COND ((|eql_SI| |e| 1) (SPADCALL |a| (QREFELT $ 28))) 333 (#4='T 334 (SEQ (LETT |k2| |d|) 335 (LETT |y| (SPADCALL |a| (QREFELT $ 28))) 336 (COND 337 ((SPADCALL |e| 0 (QREFELT $ 59)) 338 (SEQ (LETT |erg| (SPADCALL |y| (QREFELT $ 28))) 339 (EXIT (LETT |qpot| |k2|)))) 340 (#4# 341 (SEQ 342 (LETT |erg| 343 (MAKEARR1 (QVSIZE |a|) 344 (SPADCALL (QREFELT $ 12) 345 (QREFELT $ 24)))) 346 (EXIT (LETT |qpot| 0))))) 347 (SEQ (LETT |k| 1) (LETT #3# (INTEGER-LENGTH |e|)) 348 G190 (COND ((|greater_SI| |k| #3#) (GO G191))) 349 (SEQ 350 (LETT |y| 351 (SPADCALL |y| 352 (SPADCALL |y| |k2| 353 (QREFELT $ 20)) 354 (QREFELT $ 21))) 355 (LETT |k2| (|addmod_SI| |k2| |k2| |deg|)) 356 (EXIT 357 (COND 358 ((SPADCALL |e| |k| (QREFELT $ 60)) 359 (SEQ 360 (LETT |erg| 361 (SPADCALL |erg| 362 (SPADCALL |y| |qpot| 363 (QREFELT $ 20)) 364 (QREFELT $ 21))) 365 (EXIT 366 (LETT |qpot| 367 (|addmod_SI| |qpot| |k2| 368 |deg|)))))))) 369 (LETT |k| (|inc_SI| |k|)) (GO G190) G191 370 (EXIT NIL)) 371 (EXIT |erg|)))))))) 372 373(SDEFUN |INBFF;qPot;VIV;9| ((|e| |Vector| GF) (|n| |Integer|) ($ |Vector| GF)) 374 (SPROG 375 ((#1=#:G493 NIL) (|i| NIL) (#2=#:G492 NIL) (|e1| (|Vector| GF)) 376 (|m| (|SingleInteger|)) (|ei| (|SingleInteger|))) 377 (SEQ (LETT |ei| (SPADCALL (QVSIZE |e|) (QREFELT $ 17))) 378 (LETT |m| 379 (SPADCALL (SPADCALL |n| (QREFELT $ 17)) |ei| 380 (QREFELT $ 61))) 381 (EXIT 382 (COND ((|zero?_SI| |m|) |e|) 383 ('T 384 (SEQ (LETT |e1| (SPADCALL (QVSIZE |e|) (QREFELT $ 46))) 385 (SEQ (LETT |i| (|add_SI| |m| 1)) (LETT #2# |ei|) 386 G190 (COND ((|greater_SI| |i| #2#) (GO G191))) 387 (SEQ 388 (EXIT 389 (SPADCALL |e1| |i| 390 (SPADCALL |e| (|sub_SI| |i| |m|) 391 (QREFELT $ 22)) 392 (QREFELT $ 52)))) 393 (LETT |i| (|inc_SI| |i|)) (GO G190) G191 394 (EXIT NIL)) 395 (SEQ (LETT |i| 1) (LETT #1# |m|) G190 396 (COND ((|greater_SI| |i| #1#) (GO G191))) 397 (SEQ 398 (EXIT 399 (SPADCALL |e1| |i| 400 (SPADCALL |e| (- (+ |ei| |i|) |m|) 401 (QREFELT $ 22)) 402 (QREFELT $ 52)))) 403 (LETT |i| (|inc_SI| |i|)) (GO G190) G191 404 (EXIT NIL)) 405 (EXIT |e1|)))))))) 406 407(SDEFUN |INBFF;trace;VPiV;10| 408 ((|a| |Vector| GF) (|d| |PositiveInteger|) ($ |Vector| GF)) 409 (SPROG 410 ((#1=#:G501 NIL) (|j| NIL) (#2=#:G500 NIL) (|i| NIL) 411 (|sSI| #3=(|SingleInteger|)) (|v| (|Vector| GF)) 412 (|r| 413 (|Record| (|:| |quotient| #3#) (|:| |remainder| (|SingleInteger|)))) 414 (|dSI| (|SingleInteger|))) 415 (SEQ (LETT |dSI| (SPADCALL |d| (QREFELT $ 17))) 416 (LETT |r| 417 (SPADCALL (SPADCALL (QVSIZE |a|) (QREFELT $ 17)) |dSI| 418 (QREFELT $ 57))) 419 (COND 420 ((NULL (|eql_SI| (QCDR |r|) 0)) 421 (EXIT (|error| "trace: 2.arg must divide extdeg")))) 422 (LETT |v| 423 (SPADCALL 424 (SPADCALL |a| (SPADCALL 1 |dSI| (QREFELT $ 63)) 425 (QREFELT $ 64)) 426 (QREFELT $ 28))) 427 (LETT |sSI| (QCAR |r|)) 428 (SEQ (LETT |i| 1) (LETT #2# |dSI|) G190 429 (COND ((|greater_SI| |i| #2#) (GO G191))) 430 (SEQ 431 (EXIT 432 (SEQ (LETT |j| 1) (LETT #1# (|sub_SI| |sSI| 1)) G190 433 (COND ((|greater_SI| |j| #1#) (GO G191))) 434 (SEQ 435 (EXIT 436 (SPADCALL |v| |i| 437 (SPADCALL 438 (SPADCALL |v| |i| (QREFELT $ 22)) 439 (SPADCALL |a| 440 (+ |i| 441 (|mul_SI| 442 (SPADCALL |j| 443 (QREFELT $ 17)) 444 |dSI|)) 445 (QREFELT $ 22)) 446 (QREFELT $ 51)) 447 (QREFELT $ 52)))) 448 (LETT |j| (|inc_SI| |j|)) (GO G190) G191 449 (EXIT NIL)))) 450 (LETT |i| (|inc_SI| |i|)) (GO G190) G191 (EXIT NIL)) 451 (EXIT |v|)))) 452 453(SDEFUN |INBFF;random;PiV;11| ((|n| |PositiveInteger|) ($ |Vector| GF)) 454 (SPROG ((#1=#:G505 NIL) (|i| NIL) (|v| (|Vector| GF))) 455 (SEQ (LETT |v| (SPADCALL |n| (QREFELT $ 46))) 456 (SEQ (LETT |i| 1) (LETT #1# |n|) G190 457 (COND ((|greater_SI| |i| #1#) (GO G191))) 458 (SEQ 459 (EXIT 460 (SPADCALL |v| |i| (SPADCALL (QREFELT $ 66)) 461 (QREFELT $ 52)))) 462 (LETT |i| (|inc_SI| |i|)) (GO G190) G191 (EXIT NIL)) 463 (EXIT |v|)))) 464 465(SDEFUN |INBFF;xn;NniSup;12| 466 ((|m| |NonNegativeInteger|) ($ |SparseUnivariatePolynomial| GF)) 467 (SPADCALL (SPADCALL (|spadConstant| $ 10) |m| (QREFELT $ 69)) 468 (|spadConstant| $ 70) (QREFELT $ 71))) 469 470(SDEFUN |INBFF;normal?;VB;13| ((|x| |Vector| GF) ($ |Boolean|)) 471 (COND 472 ((SPADCALL 473 (SPADCALL (SPADCALL (QVSIZE |x|) (QREFELT $ 72)) 474 (SPADCALL |x| (QREFELT $ 73)) (QREFELT $ 74)) 475 (|spadConstant| $ 70) (QREFELT $ 75)) 476 'T) 477 ('T NIL))) 478 479(SDEFUN |INBFF;/;3V;14| ((|x| |Vector| GF) (|y| |Vector| GF) ($ |Vector| GF)) 480 (SPADCALL |x| (SPADCALL |y| (QREFELT $ 26)) (QREFELT $ 21))) 481 482(SDEFUN |INBFF;setFieldInfo;VGFV;15| 483 ((|m| |Vector| 484 (|List| (|Record| (|:| |value| GF) (|:| |index| (|SingleInteger|))))) 485 (|n| GF) ($ |Void|)) 486 (SEQ (SETELT $ 11 |m|) (SETELT $ 12 |n|) 487 (EXIT (SPADCALL (QREFELT $ 79))))) 488 489(SDEFUN |INBFF;minimalPolynomial;VSup;16| 490 ((|x| |Vector| GF) ($ |SparseUnivariatePolynomial| GF)) 491 (SPROG 492 ((|v| (|Vector| GF)) (|y| (|Vector| GF)) (#1=#:G520 NIL) (|k| NIL) 493 (#2=#:G519 NIL) (|j| NIL) (|dy| #3=(|NonNegativeInteger|)) 494 (#4=#:G518 NIL) (|i| NIL) (|m| (|Matrix| GF)) (|dx| #3#)) 495 (SEQ (LETT |dx| (QVSIZE |x|)) 496 (LETT |y| 497 (MAKEARR1 (QVSIZE |x|) 498 (SPADCALL (QREFELT $ 12) (QREFELT $ 24)))) 499 (LETT |m| (SPADCALL |dx| (+ |dx| 1) (QREFELT $ 82))) 500 (SEQ (LETT |i| 1) (LETT #4# (+ |dx| 1)) G190 501 (COND ((|greater_SI| |i| #4#) (GO G191))) 502 (SEQ (LETT |dy| (QVSIZE |y|)) 503 (SEQ (LETT |j| 1) (LETT #2# |dy|) G190 504 (COND ((|greater_SI| |j| #2#) (GO G191))) 505 (SEQ 506 (EXIT 507 (SEQ (LETT |k| 0) 508 (LETT #1# (- (QUOTIENT2 |dx| |dy|) 1)) G190 509 (COND ((|greater_SI| |k| #1#) (GO G191))) 510 (SEQ 511 (EXIT 512 (QSETAREF2O |m| (+ |j| (* |k| |dy|)) |i| 513 (SPADCALL |y| |j| 514 (QREFELT $ 22)) 515 1 1))) 516 (LETT |k| (|inc_SI| |k|)) (GO G190) G191 517 (EXIT NIL)))) 518 (LETT |j| (|inc_SI| |j|)) (GO G190) G191 519 (EXIT NIL)) 520 (EXIT (LETT |y| (SPADCALL |y| |x| (QREFELT $ 21))))) 521 (LETT |i| (|inc_SI| |i|)) (GO G190) G191 (EXIT NIL)) 522 (LETT |v| (|SPADfirst| (SPADCALL |m| (QREFELT $ 83)))) 523 (EXIT (SPADCALL |v| (QREFELT $ 73)))))) 524 525(SDEFUN |INBFF;basis;PiV;17| 526 ((|n| |PositiveInteger|) ($ |Vector| (|Vector| GF))) 527 (SPROG 528 ((|uniti| (|Vector| GF)) (#1=#:G525 NIL) (|i| NIL) 529 (|bas| (|Vector| (|Vector| GF)))) 530 (SEQ (LETT |bas| (MAKEARR1 |n| (SPADCALL |n| (QREFELT $ 46)))) 531 (SEQ (LETT |i| 1) (LETT #1# |n|) G190 532 (COND ((|greater_SI| |i| #1#) (GO G191))) 533 (SEQ (LETT |uniti| (SPADCALL |n| (QREFELT $ 46))) 534 (QSETAREF1O |uniti| |i| (|spadConstant| $ 10) 1) 535 (EXIT (QSETAREF1O |bas| |i| |uniti| 1))) 536 (LETT |i| (|inc_SI| |i|)) (GO G190) G191 (EXIT NIL)) 537 (EXIT |bas|)))) 538 539(SDEFUN |INBFF;normalElement;PiV;18| ((|n| |PositiveInteger|) ($ |Vector| GF)) 540 (SPROG ((|v| (|Vector| GF))) 541 (SEQ (LETT |v| (SPADCALL |n| (QREFELT $ 46))) 542 (QSETAREF1O |v| 1 (|spadConstant| $ 10) 1) (EXIT |v|)))) 543 544(SDEFUN |INBFF;index;2PiV;19| 545 ((|degm| |PositiveInteger|) (|n| |PositiveInteger|) ($ |Vector| GF)) 546 (SPROG 547 ((|m| (|Integer|)) (#1=#:G532 NIL) (|j| NIL) (|erg| (|Vector| GF))) 548 (SEQ (LETT |m| (REM |n| (EXPT (QREFELT $ 9) |degm|))) 549 (LETT |erg| (SPADCALL |degm| (QREFELT $ 46))) 550 (SEQ (LETT |j| 1) (LETT #1# |degm|) G190 551 (COND ((|greater_SI| |j| #1#) (GO G191))) 552 (SEQ 553 (SPADCALL |erg| |j| 554 (SPADCALL 555 (+ (QREFELT $ 9) (REM |m| (QREFELT $ 9))) 556 (QREFELT $ 88)) 557 (QREFELT $ 52)) 558 (EXIT (LETT |m| (QUOTIENT2 |m| (QREFELT $ 9))))) 559 (LETT |j| (|inc_SI| |j|)) (GO G190) G191 (EXIT NIL)) 560 (EXIT |erg|)))) 561 562(SDEFUN |INBFF;pol;VSup;20| 563 ((|x| |Vector| GF) ($ |SparseUnivariatePolynomial| GF)) 564 (SPROG 565 ((#1=#:G534 NIL) (#2=#:G533 #3=(|SparseUnivariatePolynomial| GF)) 566 (#4=#:G535 #3#) (#5=#:G536 NIL) (#6=#:G538 NIL) (|i| NIL)) 567 (SEQ 568 (PROGN 569 (LETT #1# NIL) 570 (SEQ (LETT |i| 1) (LETT #6# (QVSIZE |x|)) G190 571 (COND ((|greater_SI| |i| #6#) (GO G191))) 572 (SEQ 573 (EXIT 574 (PROGN 575 (LETT #4# 576 (SPADCALL (SPADCALL |x| |i| (QREFELT $ 22)) 577 (PROG1 (LETT #5# (- |i| 1)) 578 (|check_subtype2| (>= #5# 0) 579 '(|NonNegativeInteger|) 580 '(|Integer|) #5#)) 581 (QREFELT $ 69))) 582 (COND (#1# (LETT #2# (SPADCALL #2# #4# (QREFELT $ 90)))) 583 ('T (PROGN (LETT #2# #4#) (LETT #1# 'T))))))) 584 (LETT |i| (|inc_SI| |i|)) (GO G190) G191 (EXIT NIL)) 585 (COND (#1# #2#) ('T (|spadConstant| $ 91))))))) 586 587(DECLAIM (NOTINLINE |InnerNormalBasisFieldFunctions;|)) 588 589(DEFUN |InnerNormalBasisFieldFunctions| (#1=#:G539) 590 (SPROG NIL 591 (PROG (#2=#:G540) 592 (RETURN 593 (COND 594 ((LETT #2# 595 (|lassocShiftWithFunction| (LIST (|devaluate| #1#)) 596 (HGET |$ConstructorCache| 597 '|InnerNormalBasisFieldFunctions|) 598 '|domainEqualList|)) 599 (|CDRwithIncrement| #2#)) 600 ('T 601 (UNWIND-PROTECT 602 (PROG1 (|InnerNormalBasisFieldFunctions;| #1#) (LETT #2# T)) 603 (COND 604 ((NOT #2#) 605 (HREM |$ConstructorCache| 606 '|InnerNormalBasisFieldFunctions|)))))))))) 607 608(DEFUN |InnerNormalBasisFieldFunctions;| (|#1|) 609 (SPROG ((|pv$| NIL) ($ NIL) (|dv$| NIL) (DV$1 NIL)) 610 (PROGN 611 (LETT DV$1 (|devaluate| |#1|)) 612 (LETT |dv$| (LIST '|InnerNormalBasisFieldFunctions| DV$1)) 613 (LETT $ (GETREFV 92)) 614 (QSETREFV $ 0 |dv$|) 615 (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL))) 616 (|haddProp| |$ConstructorCache| '|InnerNormalBasisFieldFunctions| 617 (LIST DV$1) (CONS 1 $)) 618 (|stuffDomainSlots| $) 619 (QSETREFV $ 6 |#1|) 620 (SETF |pv$| (QREFELT $ 3)) 621 (QSETREFV $ 9 (SPADCALL (QREFELT $ 8))) 622 (QSETREFV $ 11 (MAKEARR1 1 NIL)) 623 (QSETREFV $ 12 (|spadConstant| $ 10)) 624 (QSETREFV $ 13 (LIST 0 10 16 20 23 0 28 30 32 0 35)) 625 (QSETREFV $ 14 626 (LIST NIL (LIST 4 12 48 160 480 0) (LIST 8 72 432 0) 627 (LIST 18 216 0) (LIST 32 480 0) NIL (LIST 72 0) 628 (LIST 98 0) (LIST 128 0) NIL (LIST 200 0))) 629 $))) 630 631(MAKEPROP '|InnerNormalBasisFieldFunctions| '|infovec| 632 (LIST 633 '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|NonNegativeInteger|) 634 (0 . |size|) '|sizeGF| (4 . |One|) '|multTable| '|trGen| '|logq| 635 '|expTable| (|Integer|) (|SingleInteger|) (8 . |coerce|) 636 (|Vector| 6) |INBFF;expPot;V2SiV;8| |INBFF;qPot;VIV;9| 637 |INBFF;*;3V;5| (13 . |elt|) (19 . *) (25 . |inv|) (30 . *) 638 |INBFF;inv;2V;1| (36 . |positiveRemainder|) (42 . |copy|) 639 |INBFF;repSq;VNniV;3| |INBFF;dAndcExp;VNniSiV;4| (|List| 16) 640 (47 . |elt|) (|List| 31) (53 . |elt|) (|Boolean|) (59 . >=) 641 |INBFF;^;VIV;2| (|List| 18) (65 . |elt|) (71 . |last|) 642 (76 . |concat|) (82 . |Zero|) (|List| 7) (86 . |concat|) 643 (92 . ~=) (98 . |zero|) 644 (|Record| (|:| |value| 6) (|:| |index| 16)) (|List| 47) 645 (|Vector| 48) (103 . |elt|) (109 . +) (115 . |setelt!|) 646 (|PositiveInteger|) (122 . |lookup|) |INBFF;lookup;VPi;6| 647 (|Record| (|:| |quotient| $) (|:| |remainder| $)) 648 (127 . |divide|) |INBFF;norm;VPiV;7| (133 . |bit?|) 649 (139 . |bit?|) (145 . |positiveRemainder|) 650 (|UniversalSegment| 15) (151 . SEGMENT) (157 . |elt|) 651 |INBFF;trace;VPiV;10| (163 . |random|) |INBFF;random;PiV;11| 652 (|SparseUnivariatePolynomial| 6) (167 . |monomial|) (173 . |One|) 653 (177 . -) |INBFF;xn;NniSup;12| |INBFF;pol;VSup;20| (183 . |gcd|) 654 (189 . =) |INBFF;normal?;VB;13| |INBFF;/;3V;14| (|Void|) 655 (195 . |void|) |INBFF;setFieldInfo;VGFV;15| (|Matrix| 6) 656 (199 . |zero|) (205 . |nullSpace|) 657 |INBFF;minimalPolynomial;VSup;16| (|Vector| 18) 658 |INBFF;basis;PiV;17| |INBFF;normalElement;PiV;18| (210 . |index|) 659 |INBFF;index;2PiV;19| (215 . +) (221 . |Zero|)) 660 '#(|xn| 225 |trace| 230 |setFieldInfo| 236 |repSq| 242 |random| 248 661 |qPot| 253 |pol| 259 |normalElement| 264 |normal?| 269 |norm| 274 662 |minimalPolynomial| 280 |lookup| 285 |inv| 290 |index| 295 663 |expPot| 301 |dAndcExp| 308 |basis| 315 ^ 320 / 326 * 332) 664 'NIL 665 (CONS (|makeByteWordVec2| 1 '(0)) 666 (CONS '#(NIL) 667 (CONS 668 '#((|Join| 669 (|mkCategory| 670 (LIST 671 '((|setFieldInfo| 672 ((|Void|) 673 (|Vector| 674 (|List| 675 (|Record| (|:| |value| |#1|) 676 (|:| |index| 677 (|SingleInteger|))))) 678 |#1|)) 679 T) 680 '((|random| 681 ((|Vector| |#1|) (|PositiveInteger|))) 682 T) 683 '((|index| 684 ((|Vector| |#1|) (|PositiveInteger|) 685 (|PositiveInteger|))) 686 T) 687 '((|pol| 688 ((|SparseUnivariatePolynomial| |#1|) 689 (|Vector| |#1|))) 690 T) 691 '((|xn| 692 ((|SparseUnivariatePolynomial| |#1|) 693 (|NonNegativeInteger|))) 694 T) 695 '((|dAndcExp| 696 ((|Vector| |#1|) (|Vector| |#1|) 697 (|NonNegativeInteger|) (|SingleInteger|))) 698 T) 699 '((|repSq| 700 ((|Vector| |#1|) (|Vector| |#1|) 701 (|NonNegativeInteger|))) 702 T) 703 '((|expPot| 704 ((|Vector| |#1|) (|Vector| |#1|) 705 (|SingleInteger|) (|SingleInteger|))) 706 T) 707 '((|qPot| 708 ((|Vector| |#1|) (|Vector| |#1|) (|Integer|))) 709 T) 710 '((^ 711 ((|Vector| |#1|) (|Vector| |#1|) (|Integer|))) 712 T) 713 '((* 714 ((|Vector| |#1|) (|Vector| |#1|) 715 (|Vector| |#1|))) 716 T) 717 '((/ 718 ((|Vector| |#1|) (|Vector| |#1|) 719 (|Vector| |#1|))) 720 T) 721 '((|norm| 722 ((|Vector| |#1|) (|Vector| |#1|) 723 (|PositiveInteger|))) 724 T) 725 '((|trace| 726 ((|Vector| |#1|) (|Vector| |#1|) 727 (|PositiveInteger|))) 728 T) 729 '((|inv| ((|Vector| |#1|) (|Vector| |#1|))) T) 730 '((|lookup| 731 ((|PositiveInteger|) (|Vector| |#1|))) 732 T) 733 '((|normal?| ((|Boolean|) (|Vector| |#1|))) T) 734 '((|basis| 735 ((|Vector| (|Vector| |#1|)) 736 (|PositiveInteger|))) 737 T) 738 '((|normalElement| 739 ((|Vector| |#1|) (|PositiveInteger|))) 740 T) 741 '((|minimalPolynomial| 742 ((|SparseUnivariatePolynomial| |#1|) 743 (|Vector| |#1|))) 744 T)) 745 (LIST) NIL NIL))) 746 (|makeByteWordVec2| 91 747 '(0 6 7 8 0 6 0 10 1 16 0 15 17 2 748 18 6 0 15 22 2 6 0 0 0 23 1 6 0 0 749 24 2 18 0 6 0 25 2 15 0 0 0 27 1 750 18 0 0 28 2 31 16 0 15 32 2 33 31 751 0 15 34 2 16 35 0 0 36 2 38 18 0 752 15 39 1 38 18 0 40 2 38 0 0 18 41 753 0 6 0 42 2 43 0 0 7 44 2 7 35 0 0 754 45 1 18 0 7 46 2 49 48 0 15 50 2 755 6 0 0 0 51 3 18 6 0 15 6 52 1 6 756 53 0 54 2 16 56 0 0 57 2 16 35 0 757 0 59 2 15 35 0 0 60 2 16 0 0 0 61 758 2 62 0 15 15 63 2 18 0 0 62 64 0 759 6 0 66 2 68 0 6 7 69 0 68 0 70 2 760 68 0 0 0 71 2 68 0 0 0 74 2 68 35 761 0 0 75 0 78 0 79 2 81 0 7 7 82 1 762 81 38 0 83 1 6 0 53 88 2 68 0 0 0 763 90 0 68 0 91 1 0 68 7 72 2 0 18 764 18 53 65 2 0 78 49 6 80 2 0 18 18 765 7 29 1 0 18 53 67 2 0 18 18 15 20 766 1 0 68 18 73 1 0 18 53 87 1 0 35 767 18 76 2 0 18 18 53 58 1 0 68 18 768 84 1 0 53 18 55 1 0 18 18 26 2 0 769 18 53 53 89 3 0 18 18 16 16 19 3 770 0 18 18 7 16 30 1 0 85 53 86 2 0 771 18 18 15 37 2 0 18 18 18 77 2 0 772 18 18 18 21))))) 773 '|lookupComplete|)) 774