Home
last modified time | relevance | path

Searched +defs:S +defs:inv (Results 1 – 25 of 304) sorted by relevance

12345678910>>...13

/dports/math/e-antic/flint2-ae7ec89/fmpz_mod_poly/
H A Dgcdinv.c17 slong _fmpz_mod_poly_gcdinv(fmpz *G, fmpz *S, in _fmpz_mod_poly_gcdinv()
22 fmpz_t inv; in _fmpz_mod_poly_gcdinv() local
46 void fmpz_mod_poly_gcdinv(fmpz_mod_poly_t G, fmpz_mod_poly_t S, in fmpz_mod_poly_gcdinv()
118 fmpz_t inv; in fmpz_mod_poly_gcdinv() local
H A Dgcdinv_f.c17 slong _fmpz_mod_poly_gcdinv_f(fmpz_t f, fmpz *G, fmpz *S, in _fmpz_mod_poly_gcdinv_f()
22 fmpz_t inv; in _fmpz_mod_poly_gcdinv_f() local
49 void fmpz_mod_poly_gcdinv_f(fmpz_t f, fmpz_mod_poly_t G, fmpz_mod_poly_t S, in fmpz_mod_poly_gcdinv_f()
128 fmpz_t inv; in fmpz_mod_poly_gcdinv_f() local
H A Dgcdinv_euclidean.c17 slong _fmpz_mod_poly_gcdinv_euclidean(fmpz *G, fmpz *S, in _fmpz_mod_poly_gcdinv_euclidean()
79 fmpz_t inv; in _fmpz_mod_poly_gcdinv_euclidean() local
149 fmpz_mod_poly_t S, in fmpz_mod_poly_gcdinv_euclidean()
153 fmpz_t inv; in fmpz_mod_poly_gcdinv_euclidean() local
H A Dxgcd_euclidean.c17 slong _fmpz_mod_poly_xgcd_euclidean(fmpz *G, fmpz *S, fmpz *T, in _fmpz_mod_poly_xgcd_euclidean()
54 fmpz_t inv; in _fmpz_mod_poly_xgcd_euclidean() local
118 fmpz_mod_poly_t S, fmpz_mod_poly_t T, in fmpz_mod_poly_xgcd_euclidean()
128 fmpz_t inv; in fmpz_mod_poly_xgcd_euclidean() local
H A Dgcdinv_euclidean_f.c17 slong _fmpz_mod_poly_gcdinv_euclidean_f(fmpz_t f, fmpz *G, fmpz *S, in _fmpz_mod_poly_gcdinv_euclidean_f()
84 fmpz_t inv; in _fmpz_mod_poly_gcdinv_euclidean_f() local
159 fmpz_mod_poly_t S, in fmpz_mod_poly_gcdinv_euclidean_f()
163 fmpz_t inv; in fmpz_mod_poly_gcdinv_euclidean_f() local
H A Dxgcd_euclidean_f.c17 slong _fmpz_mod_poly_xgcd_euclidean_f(fmpz_t f, fmpz *G, fmpz *S, fmpz *T, in _fmpz_mod_poly_xgcd_euclidean_f()
59 fmpz_t inv; in _fmpz_mod_poly_xgcd_euclidean_f() local
129 fmpz_mod_poly_t S, fmpz_mod_poly_t T, in fmpz_mod_poly_xgcd_euclidean_f()
139 fmpz_t inv; in fmpz_mod_poly_xgcd_euclidean_f() local
/dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/fmpz_mod_poly/
H A Dgcdinv.c17 slong _fmpz_mod_poly_gcdinv(fmpz *G, fmpz *S, in _fmpz_mod_poly_gcdinv()
22 fmpz_t inv; in _fmpz_mod_poly_gcdinv() local
46 void fmpz_mod_poly_gcdinv(fmpz_mod_poly_t G, fmpz_mod_poly_t S, in fmpz_mod_poly_gcdinv()
118 fmpz_t inv; in fmpz_mod_poly_gcdinv() local
H A Dgcdinv_f.c17 slong _fmpz_mod_poly_gcdinv_f(fmpz_t f, fmpz *G, fmpz *S, in _fmpz_mod_poly_gcdinv_f()
22 fmpz_t inv; in _fmpz_mod_poly_gcdinv_f() local
49 void fmpz_mod_poly_gcdinv_f(fmpz_t f, fmpz_mod_poly_t G, fmpz_mod_poly_t S, in fmpz_mod_poly_gcdinv_f()
128 fmpz_t inv; in fmpz_mod_poly_gcdinv_f() local
H A Dgcdinv_euclidean.c17 slong _fmpz_mod_poly_gcdinv_euclidean(fmpz *G, fmpz *S, in _fmpz_mod_poly_gcdinv_euclidean()
79 fmpz_t inv; in _fmpz_mod_poly_gcdinv_euclidean() local
149 fmpz_mod_poly_t S, in fmpz_mod_poly_gcdinv_euclidean()
153 fmpz_t inv; in fmpz_mod_poly_gcdinv_euclidean() local
H A Dxgcd_euclidean.c17 slong _fmpz_mod_poly_xgcd_euclidean(fmpz *G, fmpz *S, fmpz *T, in _fmpz_mod_poly_xgcd_euclidean()
54 fmpz_t inv; in _fmpz_mod_poly_xgcd_euclidean() local
118 fmpz_mod_poly_t S, fmpz_mod_poly_t T, in fmpz_mod_poly_xgcd_euclidean()
128 fmpz_t inv; in fmpz_mod_poly_xgcd_euclidean() local
H A Dgcdinv_euclidean_f.c17 slong _fmpz_mod_poly_gcdinv_euclidean_f(fmpz_t f, fmpz *G, fmpz *S, in _fmpz_mod_poly_gcdinv_euclidean_f()
84 fmpz_t inv; in _fmpz_mod_poly_gcdinv_euclidean_f() local
159 fmpz_mod_poly_t S, in fmpz_mod_poly_gcdinv_euclidean_f()
163 fmpz_t inv; in fmpz_mod_poly_gcdinv_euclidean_f() local
H A Dxgcd_euclidean_f.c17 slong _fmpz_mod_poly_xgcd_euclidean_f(fmpz_t f, fmpz *G, fmpz *S, fmpz *T, in _fmpz_mod_poly_xgcd_euclidean_f()
59 fmpz_t inv; in _fmpz_mod_poly_xgcd_euclidean_f() local
129 fmpz_mod_poly_t S, fmpz_mod_poly_t T, in fmpz_mod_poly_xgcd_euclidean_f()
139 fmpz_t inv; in fmpz_mod_poly_xgcd_euclidean_f() local
/dports/math/flint2/flint-2.8.4/fmpz_mod_poly/
H A Dgcdinv.c17 slong _fmpz_mod_poly_gcdinv(fmpz *G, fmpz *S, in _fmpz_mod_poly_gcdinv()
22 fmpz_t inv; in _fmpz_mod_poly_gcdinv() local
46 void fmpz_mod_poly_gcdinv(fmpz_mod_poly_t G, fmpz_mod_poly_t S, in fmpz_mod_poly_gcdinv()
119 fmpz_t inv; in fmpz_mod_poly_gcdinv() local
H A Dgcdinv_f.c17 slong _fmpz_mod_poly_gcdinv_f(fmpz_t f, fmpz *G, fmpz *S, in _fmpz_mod_poly_gcdinv_f()
22 fmpz_t inv; in _fmpz_mod_poly_gcdinv_f() local
49 void fmpz_mod_poly_gcdinv_f(fmpz_t f, fmpz_mod_poly_t G, fmpz_mod_poly_t S, in fmpz_mod_poly_gcdinv_f()
129 fmpz_t inv; in fmpz_mod_poly_gcdinv_f() local
H A Dgcdinv_euclidean.c17 slong _fmpz_mod_poly_gcdinv_euclidean(fmpz *G, fmpz *S, in _fmpz_mod_poly_gcdinv_euclidean()
77 fmpz_t inv; in _fmpz_mod_poly_gcdinv_euclidean() local
145 void fmpz_mod_poly_gcdinv_euclidean(fmpz_mod_poly_t G, fmpz_mod_poly_t S, in fmpz_mod_poly_gcdinv_euclidean()
150 fmpz_t inv; in fmpz_mod_poly_gcdinv_euclidean() local
H A Dgcdinv_euclidean_f.c17 slong _fmpz_mod_poly_gcdinv_euclidean_f(fmpz_t f, fmpz *G, fmpz *S, in _fmpz_mod_poly_gcdinv_euclidean_f()
76 fmpz_t inv; in _fmpz_mod_poly_gcdinv_euclidean_f() local
146 fmpz_mod_poly_t S, const fmpz_mod_poly_t A, in fmpz_mod_poly_gcdinv_euclidean_f()
150 fmpz_t inv; in fmpz_mod_poly_gcdinv_euclidean_f() local
H A Dxgcd_euclidean.c17 slong _fmpz_mod_poly_xgcd_euclidean(fmpz *G, fmpz *S, fmpz *T, in _fmpz_mod_poly_xgcd_euclidean()
58 fmpz_t inv; in _fmpz_mod_poly_xgcd_euclidean() local
121 void fmpz_mod_poly_xgcd_euclidean(fmpz_mod_poly_t G, fmpz_mod_poly_t S, in fmpz_mod_poly_xgcd_euclidean()
133 fmpz_t inv; in fmpz_mod_poly_xgcd_euclidean() local
H A Dxgcd_euclidean_f.c17 slong _fmpz_mod_poly_xgcd_euclidean_f(fmpz_t f, fmpz *G, fmpz *S, fmpz *T, in _fmpz_mod_poly_xgcd_euclidean_f()
63 fmpz_t inv; in _fmpz_mod_poly_xgcd_euclidean_f() local
133 fmpz_mod_poly_xgcd_euclidean_f(fmpz_t f, fmpz_mod_poly_t G, fmpz_mod_poly_t S, in fmpz_mod_poly_xgcd_euclidean_f()
145 fmpz_t inv; in fmpz_mod_poly_xgcd_euclidean_f() local
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Documentation/SBV/Examples/ProofTools/
H A DSum.hs46 data S a = S { s :: a, i :: a, n :: a } deriving (Show, Mergeable, Generic, Functor, Foldable, Trav… type
87 inv S{s, i, n} = i .<= n+1 function
H A DFibonacci.hs47 data S a = S { i :: a, k :: a, m :: a, n :: a } function
105 inv S{i, k, m, n} = i .<= n function
H A DStrengthen.hs50 data S a = S { x :: a, y :: a } function
80 inv S{y} = y .>= 1 function
88 pgm1 S{x, y} = [S{x = x+1, y = y+x}] function
92 pgm2 S{x, y} = [S{x = x+y, y = y+x}] function
101 -- S {x = -1, y = 1} function
121 -- S {x = -1, y = 1} function
132 -- S {x = 0, y = -1} function
143 -- S {x = 0, y = -1} function
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Documentation/SBV/Examples/WeakestPreconditions/
H A DSum.hs55 type S = SumS SInteger function
72 algorithm inv msr = Seq [ Assign $ \st -> st{i = 0, s = 0} function
100 imperativeSum inv msr = Program { setup = return () function
144 correctness inv msr = wpProveWith defaultWPCfg{wpVerbose=True} (imperativeSum inv msr) function
H A DLength.hs69 type S = LenS Integer type
86 algorithm inv msr = Seq [ Assign $ \st@LenS{xs} -> st{ys = xs, l = 0} function
110 imperativeLength inv msr = Program { setup = return () function
H A DIntSqrt.hs60 type S = SqrtS SInteger type
79 algorithm inv msr = Seq [ assert "x >= 0" $ \SqrtS{x} -> x .>= 0 function
109 imperativeSqrt inv msr = Program { setup = return () function
/dports/math/xlife++/xlifepp-sources-v2.0.1-2018-05-09/src/term/
H A DSymbolicTermMatrix.cpp60 SymbolicTermMatrix::SymbolicTermMatrix(const SymbolicTermMatrix& S) in SymbolicTermMatrix()
96 SymbolicTermMatrix& operator *(const TermMatrix& M, SymbolicTermMatrix& S) in operator *()
99 SymbolicTermMatrix& operator *(SymbolicTermMatrix& S, const TermMatrix& M) in operator *()
142 SymbolicTermMatrix& conj(SymbolicTermMatrix& S) in conj()
145 SymbolicTermMatrix& adj(SymbolicTermMatrix& S) in adj()
148 SymbolicTermMatrix& tran(SymbolicTermMatrix& S) in tran()
151 SymbolicTermMatrix& inv(SymbolicTermMatrix& S) in inv() function
169 SymbolicTermMatrix& inv(const TermMatrix& M) in inv() function
171 SymbolicTermMatrix* S=0; in inv() local
246 TermVector operator*(const SymbolicTermMatrix& S, const TermVector& X) in operator *()
[all …]

12345678910>>...13