Home
last modified time | relevance | path

Searched refs:irreds (Results 1 – 25 of 46) sorted by relevance

12

/dports/math/gap/gap-4.11.0/pkg/cvec-2.7.4/gap/
H A Dlinalg.gi732 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 Dquarry.g387 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 DDUPZfactor_combine.c321 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 DDUPZfactor_info.h34 DUPZfactors irreds; /* where to put factors */ member
H A DDUPZfactor_info.c31 ans->irreds = output; in DUPZfactor_info_ctor()
/dports/math/giacxcas/CoCoALib-0.99700/src/AlgebraicCore/TmpFactorDir/
H A DDUPZfactor_combine.c315 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 DDUPZfactor_info.h34 DUPZfactors irreds; /* where to put factors */ member
H A DDUPZfactor_info.c31 ans->irreds = output; in DUPZfactor_info_ctor()
/dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/gcc/gcc/
H A Dcfgloop.c1113 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 Dcfgloop.c1067 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 Dcfgloop.c1113 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 Dctblpope.gi916 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 Dcfgloop.c1305 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 Dcfgloop.c1321 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 Dcfgloop.c1323 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 Dcfgloop.c1321 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 Dcfgloop.c1305 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 Dctadmin.g255 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 DTcSMonad.hs1076 , 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 Dfactor.C314 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 DDUPFp.C836 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 Dfactor.C314 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 DDUPFp.C836 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 Dkb.ml130 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 Dkb.ml130 let irreds = List.map right_reduce irredl in
132 kbrec (j+1) (new_rule::irreds) [] (k,l) (eqs @ eqs' @ failures) in

12