/dports/math/gap/gap-4.11.0/pkg/cvec-2.7.4/gap/ |
H A D | linalg.gi | 732 irreds := []; 740 Add(irreds,i[1]); 744 p := Sortex(irreds); 755 mp := irreds[1]^0; 758 for i in [1..Length(irreds)] do 842 return rec(charpoly := Product(facs), irreds := irreds, mult := mult, 1136 irreds := []; 1143 if p > Length(irreds) or irreds[p] <> i[1] then 1144 Add(irreds,i[1]); 1192 ordpol := Product([1..Length(irreds)],i->irreds[i]^multmin[i]); [all …]
|
H A D | quarry.g | 387 irreds := []; 393 p := Position(irreds,i[1]); 395 Add(irreds,i[1]); 399 p := Sortex(irreds); 412 for i in [1..Length(irreds)] do 451 for j in [1..Length(irreds)] do 452 multmin[j] := CVEC_FactorMultiplicity(ordpol,irreds[j]); 463 for j in [1..Length(irreds)] do 465 Info(InfoCVec,2,"Working on factor: ",irreds[j], 467 mm := Value(irreds[j],opi.mm)^multmin[j]; [all …]
|
/dports/math/cocoalib/CoCoALib-0.99712/src/AlgebraicCore/TmpFactorDir/ |
H A D | DUPZfactor_combine.c | 321 DUPZfactors_add(THIS->info->irreds, THIS->info->f); in DUPZfactor_combine() 632 DUPZfactors_add(old->info->irreds, factor); in DUPZfactor_combine_fork() 641 DUPZfactors_add(old->info->irreds, factor); in DUPZfactor_combine_fork() 646 fork->irreds = old->info->irreds; in DUPZfactor_combine_fork() 690 DUPZfactors_add(fork->irreds, fork->f); in DUPZfactor_combine_fork() 707 DUPZfactors_add(fork->irreds, fork->f); in DUPZfactor_combine_fork() 781 DUPZfactors_add(THIS->info->irreds, f); in DUPZfactor_combine_found()
|
H A D | DUPZfactor_info.h | 34 DUPZfactors irreds; /* where to put factors */ member
|
H A D | DUPZfactor_info.c | 31 ans->irreds = output; in DUPZfactor_info_ctor()
|
/dports/math/giacxcas/CoCoALib-0.99700/src/AlgebraicCore/TmpFactorDir/ |
H A D | DUPZfactor_combine.c | 315 DUPZfactors_add(THIS->info->irreds, THIS->info->f); in DUPZfactor_combine() 626 DUPZfactors_add(old->info->irreds, factor); in DUPZfactor_combine_fork() 635 DUPZfactors_add(old->info->irreds, factor); in DUPZfactor_combine_fork() 640 fork->irreds = old->info->irreds; in DUPZfactor_combine_fork() 684 DUPZfactors_add(fork->irreds, fork->f); in DUPZfactor_combine_fork() 701 DUPZfactors_add(fork->irreds, fork->f); in DUPZfactor_combine_fork() 769 DUPZfactors_add(THIS->info->irreds, f); in DUPZfactor_combine_found()
|
H A D | DUPZfactor_info.h | 34 DUPZfactors irreds; /* where to put factors */ member
|
H A D | DUPZfactor_info.c | 31 ans->irreds = output; in DUPZfactor_info_ctor()
|
/dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/gcc/gcc/ |
H A D | cfgloop.c | 1113 sbitmap irreds; in verify_loop_structure() local 1210 irreds = sbitmap_alloc (last_basic_block); in verify_loop_structure() 1214 SET_BIT (irreds, bb->index); in verify_loop_structure() 1216 RESET_BIT (irreds, bb->index); in verify_loop_structure() 1229 && !TEST_BIT (irreds, bb->index)) in verify_loop_structure() 1235 && TEST_BIT (irreds, bb->index)) in verify_loop_structure() 1259 free (irreds); in verify_loop_structure()
|
/dports/devel/tigcc/tigcc-0.96.b8_10/gnu/gcc-4.1-20060728/gcc/ |
H A D | cfgloop.c | 1067 sbitmap irreds; in verify_loop_structure() local 1160 irreds = sbitmap_alloc (last_basic_block); in verify_loop_structure() 1165 SET_BIT (irreds, bb->index); in verify_loop_structure() 1167 RESET_BIT (irreds, bb->index); in verify_loop_structure() 1182 && !TEST_BIT (irreds, bb->index)) in verify_loop_structure() 1188 && TEST_BIT (irreds, bb->index)) in verify_loop_structure() 1212 free (irreds); in verify_loop_structure()
|
/dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/gcc/gcc/ |
H A D | cfgloop.c | 1113 sbitmap irreds; 1210 irreds = sbitmap_alloc (last_basic_block); 1214 SET_BIT (irreds, bb->index); 1216 RESET_BIT (irreds, bb->index); 1229 && !TEST_BIT (irreds, bb->index)) 1235 && TEST_BIT (irreds, bb->index)) 1259 free (irreds);
|
/dports/math/gap/gap-4.11.0/lib/ |
H A D | ctblpope.gi | 916 irreds:= SortedCharacters( tbl, irreds, "degree" ); 918 X:= RationalizedMat( irreds ); 1015 perm:= Sortex( ShallowCopy( irreds ) ) 1017 irreds:= newirreds; 1111 X:= RationalizedMat( irreds ); 1117 X:= RationalizedMat( irreds ); 2576 irreds:= List( degreeset, x -> [] ); 2593 for i in irreds do 2661 irreds, 2722 irreds:= List( degreeset, x -> [] ); [all …]
|
/dports/lang/gnat_util/gcc-6-20180516/gcc/ |
H A D | cfgloop.c | 1305 sbitmap irreds; in verify_loop_structure() local 1473 irreds = sbitmap_alloc (last_basic_block_for_fn (cfun)); in verify_loop_structure() 1478 bitmap_set_bit (irreds, bb->index); in verify_loop_structure() 1480 bitmap_clear_bit (irreds, bb->index); in verify_loop_structure() 1495 && !bitmap_bit_p (irreds, bb->index)) in verify_loop_structure() 1501 && bitmap_bit_p (irreds, bb->index)) in verify_loop_structure() 1525 free (irreds); in verify_loop_structure()
|
/dports/devel/mingw32-gcc/gcc-4.8.1/gcc/ |
H A D | cfgloop.c | 1321 sbitmap irreds; in verify_loop_structure() local 1466 irreds = sbitmap_alloc (last_basic_block); in verify_loop_structure() 1471 bitmap_set_bit (irreds, bb->index); in verify_loop_structure() 1473 bitmap_clear_bit (irreds, bb->index); in verify_loop_structure() 1488 && !bitmap_bit_p (irreds, bb->index)) in verify_loop_structure() 1494 && bitmap_bit_p (irreds, bb->index)) in verify_loop_structure() 1518 free (irreds); in verify_loop_structure()
|
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ |
H A D | cfgloop.c | 1323 sbitmap irreds; in verify_loop_structure() local 1481 irreds = sbitmap_alloc (last_basic_block_for_fn (cfun)); in verify_loop_structure() 1486 bitmap_set_bit (irreds, bb->index); in verify_loop_structure() 1488 bitmap_clear_bit (irreds, bb->index); in verify_loop_structure() 1503 && !bitmap_bit_p (irreds, bb->index)) in verify_loop_structure() 1509 && bitmap_bit_p (irreds, bb->index)) in verify_loop_structure() 1533 free (irreds); in verify_loop_structure()
|
/dports/lang/gcc48/gcc-4.8.5/gcc/ |
H A D | cfgloop.c | 1321 sbitmap irreds; in verify_loop_structure() local 1466 irreds = sbitmap_alloc (last_basic_block); in verify_loop_structure() 1471 bitmap_set_bit (irreds, bb->index); in verify_loop_structure() 1473 bitmap_clear_bit (irreds, bb->index); in verify_loop_structure() 1488 && !bitmap_bit_p (irreds, bb->index)) in verify_loop_structure() 1494 && bitmap_bit_p (irreds, bb->index)) in verify_loop_structure() 1518 free (irreds); in verify_loop_structure()
|
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/ |
H A D | cfgloop.c | 1305 sbitmap irreds; in verify_loop_structure() local 1473 irreds = sbitmap_alloc (last_basic_block_for_fn (cfun)); in verify_loop_structure() 1478 bitmap_set_bit (irreds, bb->index); in verify_loop_structure() 1480 bitmap_clear_bit (irreds, bb->index); in verify_loop_structure() 1495 && !bitmap_bit_p (irreds, bb->index)) in verify_loop_structure() 1501 && bitmap_bit_p (irreds, bb->index)) in verify_loop_structure() 1525 free (irreds); in verify_loop_structure()
|
/dports/math/gap/gap-4.11.0/pkg/ctbllib/gap3/ |
H A D | ctadmin.g | 255 irreds:= []; 268 Add( irreds, values ); 293 Add( irreds, values ); 1091 chi:= irreds[2]; 1104 Add( irreds, chi ); 1107 if not ext in irreds then Add( irreds, ext ); fi; 1119 Add( irreds, chi ); 1147 Add( irreds, chi ); 1150 if not ext in irreds then Add( irreds, ext ); fi; 1156 if not ext in irreds then Add( irreds, ext ); fi; [all …]
|
/dports/lang/ghc/ghc-8.10.7/compiler/typecheck/ |
H A D | TcSMonad.hs | 1076 , inert_safehask = safehask, inert_irreds = irreds 1089 , ppUnless (isEmptyCts irreds) $ 1090 text "Irreds =" <+> pprCts irreds 1631 add_item ics@(IC { inert_irreds = irreds, inert_count = count }) 1633 = ics { inert_irreds = irreds `Bag.snocBag` item 1683 , inert_irreds = irreds 2043 , inert_irreds = irreds 2049 unsolved_irreds = Bag.filterBag is_unsolved irreds 2097 = do { inerts@(IC { inert_eqs = ieqs, inert_irreds = irreds }) 2101 insols = filterBag insolubleEqCt irreds [all …]
|
/dports/math/giacxcas/CoCoALib-0.99700/src/AlgebraicCore/ |
H A D | factor.C | 314 vector<RingElem> irreds; irreds.reserve(n); in factor() local 318 irreds.push_back(ConvertFromDUPFp(x, DUPfac[i])); in factor() 320 … return factorization<RingElem>(irreds, facs.myMultiplicities(), CoeffEmbeddingHom(P)(LC(f))); in factor()
|
H A D | DUPFp.C | 836 vector<DUPFp> irreds; irreds.reserve(n); in factor() local 844 irreds.push_back(monic(fac)); in factor() 851 return factorization<DUPFp>(irreds, multiplicity, scalar); in factor()
|
/dports/math/cocoalib/CoCoALib-0.99712/src/AlgebraicCore/ |
H A D | factor.C | 314 vector<RingElem> irreds; irreds.reserve(n); in factor() local 318 irreds.push_back(ConvertFromDUPFp(x, DUPfac[i])); in factor() 320 … return factorization<RingElem>(irreds, facs.myMultiplicities(), CoeffEmbeddingHom(P)(LC(f))); in factor()
|
H A D | DUPFp.C | 836 vector<DUPFp> irreds; irreds.reserve(n); in factor() local 844 irreds.push_back(monic(fac)); in factor() 851 return factorization<DUPFp>(irreds, multiplicity, scalar); in factor()
|
/dports/lang/ocaml/ocaml-4.05.0/testsuite/tests/misc-kb/ |
H A D | kb.ml | 130 let irreds = List.map right_reduce irredl in 132 kbrec (j+1) (new_rule::irreds) [] (k,l) (eqs @ eqs' @ failures) in
|
/dports/lang/ocaml-nox11/ocaml-4.05.0/testsuite/tests/misc-kb/ |
H A D | kb.ml | 130 let irreds = List.map right_reduce irredl in 132 kbrec (j+1) (new_rule::irreds) [] (k,l) (eqs @ eqs' @ failures) in
|