Searched refs:FactoredInt (Results 1 – 14 of 14) sorted by relevance
/dports/math/conauto/conauto-2.03/src/ |
H A D | factor.h | 32 } FactoredInt; typedef 36 extern void factMultiply ( const FactoredInt *a, const FactoredInt *b, FactoredInt *r ); 38 extern void factDivide ( const FactoredInt *a, const FactoredInt *b, FactoredInt *r ); 40 extern void factorize_factorial ( uint16_t n, FactoredInt *r ); 42 extern void factorize ( const uint16_t n, FactoredInt *r ); 44 extern int factEqual ( const FactoredInt *a, const FactoredInt *b );
|
H A D | factor.c | 39 void factMultiply ( const FactoredInt *a, const FactoredInt *b, FactoredInt *r ) in factMultiply() 61 void factDivide ( const FactoredInt *a, const FactoredInt *b, FactoredInt *r ) in factDivide() 84 void factorize_factorial ( uint16_t n, FactoredInt *r ) in factorize_factorial() 86 FactoredInt f1, f2; in factorize_factorial() 87 FactoredInt *f1_p, *f2_p, *r_p; in factorize_factorial() 96 EXCHANGE( f2_p, r_p, FactoredInt* ); in factorize_factorial() 104 void factorize ( uint16_t n, FactoredInt *r ) in factorize() 133 int factEqual ( const FactoredInt *a, const FactoredInt *b ) in factEqual()
|
H A D | conauto.c | 178 FactoredInt compute_pg_size ( SeqPart *sp ) in compute_pg_size() 180 FactoredInt f1, f2, f3; in compute_pg_size() 181 FactoredInt *f_result, *f_size, *f_aux; in compute_pg_size() 201 EXCHANGE ( f_result, f_aux, FactoredInt* ); in compute_pg_size() 213 EXCHANGE ( f_result, f_aux, FactoredInt* ); in compute_pg_size() 225 FactoredInt f_result; in show_info() 305 FactoredInt fi_g, fi_h; in are_isomorphic()
|
/dports/math/gap/gap-4.11.0/pkg/guava-3.15/src/leon/src/ |
H A D | factor.h | 10 FactoredInt *const a, 11 FactoredInt *const b) /* a = a * b */ 15 FactoredInt *const a, 16 FactoredInt *const b) /* a = a / b */ 19 extern FactoredInt factorize( 24 FactoredInt *a, 25 FactoredInt *b)
|
H A D | factor.c | 39 FactoredInt *const a, in factMultiply() 40 FactoredInt *const b) /* a = a * b */ in factMultiply() 72 FactoredInt *const a, in factDivide() 73 FactoredInt *const b) /* a = a / b */ in factDivide() 102 FactoredInt factorize( in factorize() 105 FactoredInt nFactored; in factorize() 146 FactoredInt *a, in factEqual() 147 FactoredInt *b) in factEqual()
|
H A D | storage.c | 425 FactoredInt *allocFactoredInt( void) in allocFactoredInt() 427 FactoredInt *address; in allocFactoredInt() 429 address = (FactoredInt *) malloc( sizeof(FactoredInt) ); in allocFactoredInt() 439 void freeFactoredInt( FactoredInt *address) in freeFactoredInt()
|
H A D | readgrp.h | 4 extern FactoredInt readFactoredInt(void) 8 FactoredInt *fInt)
|
H A D | storage.h | 97 extern FactoredInt *allocFactoredInt( void) 100 extern void freeFactoredInt( FactoredInt *address)
|
H A D | readgrp.c | 32 FactoredInt readFactoredInt(void) in readFactoredInt() 34 FactoredInt fInt; in readFactoredInt() 73 FactoredInt *fInt) in writeFactoredInt() 748 FactoredInt orbitLen; in writePermGroupRestricted()
|
H A D | group.h | 234 } FactoredInt; typedef 303 FactoredInt *order; /* Alloc sizeof(FactoredInt). */
|
H A D | chbase.c | 57 FactoredInt oldOrder, oldLen; in CHECK() 474 FactoredInt factoredOrbLen; in removeRedunSGens()
|
H A D | cstborb.c | 154 FactoredInt factoredOrbLen; in constructBasicOrbit()
|
H A D | randschr.c | 270 FactoredInt trueGroupOrder, factoredOrbLen; in randomSchreier()
|
H A D | orblist.c | 109 FactoredInt factoredOrbLen; in main()
|