Flint2-Examples 0.1.0.1 → 0.1.0.2
raw patch · 4 files changed
+2/−238 lines, 4 files
Files
- Flint2-Examples.cabal +1/−173
- README.md +1/−43
- app/real_roots/z_param.h +0/−16
- src/Lib.hs +0/−6
Flint2-Examples.cabal view
@@ -5,7 +5,7 @@ -- see: https://github.com/sol/hpack name: Flint2-Examples-version: 0.1.0.1+version: 0.1.0.2 synopsis: Examples for the Flint2 library description: Examples for Flint2 Haskell bindings for the flint library for number theory. category: Math@@ -28,26 +28,6 @@ type: git location: https://github.com/monien/Flint2-Examples -library- exposed-modules:- Lib- other-modules:- Paths_Flint2_Examples- hs-source-dirs:- src- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h- build-depends:- Flint2 >=0.1.0.4 && <0.2.0.0- , base >=4.7 && <5- , containers >=0.6.7 && <0.7- , mtl >=2.2.2 && <2.3- , optparse-applicative >=0.18.1 && <0.19- , timeit ==2.0.*- default-language: Haskell2010- executable bernoulli main-is: Main.hs other-modules:@@ -55,10 +35,6 @@ hs-source-dirs: app/bernoulli ghc-options: -threaded -rtsopts -with-rtsopts=-N- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -75,10 +51,6 @@ Paths_Flint2_Examples hs-source-dirs: app/binet- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -94,10 +66,6 @@ Paths_Flint2_Examples hs-source-dirs: app/class_poly- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -117,10 +85,6 @@ hs-source-dirs: app/complex_plot ghc-options: -threaded -rtsopts -with-rtsopts=-N- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , JuicyPixels >=3.3.8 && <3.4@@ -140,10 +104,6 @@ Paths_Flint2_Examples hs-source-dirs: app/crt- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -159,10 +119,6 @@ Paths_Flint2_Examples hs-source-dirs: app/delta_qexp- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -178,10 +134,6 @@ Paths_Flint2_Examples hs-source-dirs: app/dft- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -197,10 +149,6 @@ Paths_Flint2_Examples hs-source-dirs: app/elementary- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -216,10 +164,6 @@ Paths_Flint2_Examples hs-source-dirs: app/expression- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -236,10 +180,6 @@ hs-source-dirs: app/factor_integer ghc-options: -threaded -rtsopts -with-rtsopts=-N- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -255,10 +195,6 @@ Paths_Flint2_Examples hs-source-dirs: app/fmpq_poly- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -274,10 +210,6 @@ Paths_Flint2_Examples hs-source-dirs: app/fmpz_mod_poly- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -293,10 +225,6 @@ Paths_Flint2_Examples hs-source-dirs: app/fmpz_mpoly_factor- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -313,10 +241,6 @@ Paths_Flint2_Examples hs-source-dirs: app/fmpz_poly_factor_zassenhaus- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -332,10 +256,6 @@ Paths_Flint2_Examples hs-source-dirs: app/fpwrap- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -351,10 +271,6 @@ Paths_Flint2_Examples hs-source-dirs: app/fq_poly- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -371,10 +287,6 @@ hs-source-dirs: app/function_benchmark ghc-options: -threaded -rtsopts -with-rtsopts=-N- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -390,10 +302,6 @@ Paths_Flint2_Examples hs-source-dirs: app/hilbert_matrix- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -409,10 +317,6 @@ Paths_Flint2_Examples hs-source-dirs: app/hilbert_matrix_ca- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -430,10 +334,6 @@ hs-source-dirs: app/integrals ghc-options: -threaded -rtsopts -with-rtsopts=-N- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -449,10 +349,6 @@ Paths_Flint2_Examples hs-source-dirs: app/keiper_li- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -468,10 +364,6 @@ Paths_Flint2_Examples hs-source-dirs: app/l_values- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -487,10 +379,6 @@ Paths_Flint2_Examples hs-source-dirs: app/l_values- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -506,10 +394,6 @@ Paths_Flint2_Examples hs-source-dirs: app/logistic- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -525,10 +409,6 @@ Paths_Flint2_Examples hs-source-dirs: app/machin- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -544,10 +424,6 @@ Paths_Flint2_Examples hs-source-dirs: app/multi_crt- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -563,10 +439,6 @@ Paths_Flint2_Examples hs-source-dirs: app/padic- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -582,10 +454,6 @@ Paths_Flint2_Examples hs-source-dirs: app/partitions- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -601,10 +469,6 @@ Paths_Flint2_Examples hs-source-dirs: app/pi_digits- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -621,10 +485,6 @@ hs-source-dirs: app/poly_roots ghc-options: -threaded -rtsopts -with-rtsopts=-N- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -641,10 +501,6 @@ hs-source-dirs: app/primegen ghc-options: -threaded -rtsopts -with-rtsopts=-N- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -660,10 +516,6 @@ Paths_Flint2_Examples hs-source-dirs: app/qadic- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -679,10 +531,6 @@ Paths_Flint2_Examples hs-source-dirs: app/radix- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -720,10 +568,6 @@ Paths_Flint2_Examples hs-source-dirs: app/stirling_matrix- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -739,10 +583,6 @@ Paths_Flint2_Examples hs-source-dirs: app/swinnerton_dyer_poly- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -758,10 +598,6 @@ Paths_Flint2_Examples hs-source-dirs: app/taylor_integrals- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -777,10 +613,6 @@ Paths_Flint2_Examples hs-source-dirs: app/zeta_zeros- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , base >=4.7 && <5@@ -798,10 +630,6 @@ hs-source-dirs: test ghc-options: -threaded -rtsopts -with-rtsopts=-N- include-dirs:- app/real_roots- install-includes:- app/real_roots/z_param.h build-depends: Flint2 >=0.1.0.4 && <0.2.0.0 , Flint2-Examples
README.md view
@@ -1,5 +1,4 @@-+ # Flint2-Examples @@ -129,44 +128,3 @@ GHCRTS='-N10' export GHCRTS ```--## List of available examples--- bernoulli-- binet-- class_poly-- complex_plot-- crt-- delta_qexp-- dft-- elementary-- expression-- factor_integer-- fmpq_poly-- fmpz_mod_poly-- fmpz_mpoly_factor-- fmpz_poly_factor_zassenhaus-- fpwrap-- fq_poly-- function_benchmark-- hilbert_matrix-- hilbert_matrix_ca-- integrals-- keiper_li-- l_central-- l_values-- logistic-- machin-- multi_crt-- padic-- partitions-- pi_digits-- poly_roots-- primegen-- qadic-- radix-- real_roots-- stirling_matrix-- swinnerton_dyer_poly-- taylor_integrals-- zeta_zeros
− app/real_roots/z_param.h
@@ -1,16 +0,0 @@-#ifndef Z_PARAM_H_-#define Z_PARAM_H_--#include <flint/flint.h>-#include <flint/dirichlet.h>--typedef struct-{- dirichlet_group_t *G;- dirichlet_char_t *chi;-}-z_param_struct;--typedef z_param_struct z_param_t[1];--#endif // Z_PARAM_H_
− src/Lib.hs
@@ -1,6 +0,0 @@-module Lib- ( someFunc- ) where--someFunc :: IO ()-someFunc = putStrLn "someFunc"