Home
last modified time | relevance | path

Searched refs:FactoredInt (Results 1 – 14 of 14) sorted by relevance

/dports/math/conauto/conauto-2.03/src/
H A Dfactor.h32 } 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 Dfactor.c39 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 Dconauto.c178 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 Dfactor.h10 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 Dfactor.c39 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 Dstorage.c425 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 Dreadgrp.h4 extern FactoredInt readFactoredInt(void)
8 FactoredInt *fInt)
H A Dstorage.h97 extern FactoredInt *allocFactoredInt( void)
100 extern void freeFactoredInt( FactoredInt *address)
H A Dreadgrp.c32 FactoredInt readFactoredInt(void) in readFactoredInt()
34 FactoredInt fInt; in readFactoredInt()
73 FactoredInt *fInt) in writeFactoredInt()
748 FactoredInt orbitLen; in writePermGroupRestricted()
H A Dgroup.h234 } FactoredInt; typedef
303 FactoredInt *order; /* Alloc sizeof(FactoredInt). */
H A Dchbase.c57 FactoredInt oldOrder, oldLen; in CHECK()
474 FactoredInt factoredOrbLen; in removeRedunSGens()
H A Dcstborb.c154 FactoredInt factoredOrbLen; in constructBasicOrbit()
H A Drandschr.c270 FactoredInt trueGroupOrder, factoredOrbLen; in randomSchreier()
H A Dorblist.c109 FactoredInt factoredOrbLen; in main()