Home
last modified time | relevance | path

Searched refs:farey (Results 1 – 22 of 22) sorted by relevance

/dports/math/gap/gap-4.11.0/pkg/congruence-1.2.3/tst/
H A Dcongruence03.tst11 # doc/farey.xml:59-65
17 # doc/farey.xml:76-81
22 # doc/farey.xml:99-104
27 # doc/farey.xml:121-126
32 # doc/farey.xml:142-147
37 # doc/farey.xml:159-164
/dports/lang/racket/racket-8.3/share/pkgs/math-lib/math/private/number-theory/
H A Dfarey.rkt5 (provide farey-sequence mediant)
12 (: farey-sequence : Integer -> (Listof Exact-Rational))
13 (define (farey-sequence n)
14 (cond [(n . <= . 0) (raise-argument-error 'farey-sequence "Positive-Integer" n)]
/dports/math/gap/gap-4.11.0/pkg/congruence-1.2.3/doc/
H A Dmanual.six45 01X", "3", [ 3, 0, 0 ], 1, 13, "farey symbols and their properties",
48 , "3.1", [ 3, 1, 0 ], 41, 13, "construction of farey symbols",
51 "3.2", [ 3, 2, 0 ], 75, 14, "properties of farey symbols",
55 033[101X", "4", [ 4, 0, 0 ], 1, 16, "farey symbols for congruence subgroups",
60 "computation of the farey symbol for a finite index subgroup",
65 "computation of generators of a finite index subgroup from its farey sym\
70 "other properties derived from farey symbols", "X7C5AB1D786207745" ],
/dports/lang/racket/racket-8.3/share/pkgs/math-lib/math/
H A Dnumber-theory.rkt10 "private/number-theory/farey.rkt"
40 "private/number-theory/farey.rkt"
/dports/math/gap/gap-4.11.0/pkg/congruence-1.2.3/
H A Dread.g13 ReadPackage( "congruence", "lib/farey.gi" );
H A Dinit.g13 ReadPackage( "congruence", "lib/farey.gd" );
/dports/science/agrum/aGrUM-29e540d8169268e8fe5d5c69bc4b2b1290f12320/src/agrum/tools/core/math/
H A Drational.h82 static void farey(int64_t& numerator,
H A Drational_tpl.h35 void Rational< GUM_SCALAR >::farey(int64_t& numerator, in farey() function
/dports/audio/csound/csound-6.15.0/tests/soak/
H A Dgenfarey-2.csd22 gidelta ftgen 0,0,-18,"farey",7,1
26 gimult ftgen 0,0,-18,"farey",7,2
H A Dgenfarey.csd21 f1 0 -23 "farey" 8 0
H A Dfareyleni.csd30 gifarey ftgen 100, 0, gilen, "farey", gifarn, 4
H A Dtablefilter.csd17 gifarey ftgen 200, 0, gilen, "farey", gifarn, 0
/dports/math/reduce/Reduce-svn5758-src/csl/cslbase/
H A Dwxshowmath.cpp474 void farey(int p1, int q1, int p2, int q2, int maxQ) in farey() function
487 farey(p1, q1, p, q, maxQ); in farey()
488 farey(p, q, p2, q2, maxQ); in farey()
518 farey(7, 2, 4, 1, maxQ);
611 farey(7, 2, 4, 1, 25); in RepaintBuffer()
/dports/math/gap/gap-4.11.0/pkg/congruence-1.2.3/lib/
H A Dfarey.gd3 #W farey.gd The Congruence package Ann Dooms
H A Dfarey.gi3 #W farey.gi The Congruence package Ann Dooms
/dports/lang/racket/racket-8.3/share/pkgs/math-lib/math/compiled/
H A Dnumber-theory_rkt.dep1 …theory" #"factorial.rkt") (collects #"math" #"private" #"number-theory" #"farey.rkt") (collects #"…
/dports/math/singular/Singular-Release-4-2-1/Singular/LIB/
H A Dsingular.vim54 syn keyword Function facstd factmodd factorize farey fetch fglm fglmquot find finduni fp…
/dports/math/singular/Singular-Release-4-2-1/Singular/
H A Diparith.inc515 // operation: farey (bigint, bigint) -> number requires currRing, field coeffs
516 // operation: farey (ideal, bigint) -> ideal, field coeffs
517 // operation: farey (module, bigint) -> module, field coeffs
518 // operation: farey (matrix, bigint) -> matrix, field coeffs
519 // operation: farey (list, bigint) -> list, field coeffs
986 // token 400 : farey
1432 iiArithAddCmd("farey", 0, 400, CMD_2, 61);
/dports/lang/racket/racket-8.3/share/pkgs/math-doc/math/scribblings/
H A Dmath-number-theory.scrbl657 @defproc[(farey-sequence [n Integer]) (Listof Exact-Rational)]{
664 (farey-sequence 1)
665 (farey-sequence 2)
666 (farey-sequence 3)]
/dports/science/agrum/aGrUM-29e540d8169268e8fe5d5c69bc4b2b1290f12320/src/agrum/CN/
H A DcredalNet_tpl.h1550 Rational< GUM_SCALAR >::farey(num, in _H2Vlrs_()
/dports/lang/racket/racket-8.3/doc/math/
H A Dblueboxes.rktd2 …c (c (? . 2) q bigfloat->rational)) q (21778 . 3)) ((c def c (c (? . 5) q farey-sequence)) q (1870…
913 (farey-sequence n) -> (Listof Exact-Rational)
/dports/audio/csound/csound-6.15.0/etc/
H A DChangeLog340 * SConstruct: Added farey sequence GEN and opcodes