mathflow

[Index] Use Python for test Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info For package maintainers and hackage trustees This package provides a model of tensor-operations. The model is independent from tensorflow-binding of python and haskell, though this package generates python-code. tensor's dimensions and constraints are described by dependent types. The tensor-operations are based on tensorflow-api. Currently the model can be translated into python-code. To write this package, I refer to this neural network document and singletons. Install tensorflow of python and this package. Model has a type of Tensor (dimensions:[Nat]) value-type output-type. This package makes tensorflow-graph from the mode. The model's endpoint is always a tensor-type. At first write graph by using arithmetic operators like (+,-,,/), % (which is matrix multiply) and tensorflow-functions. Mathflow.{TF,TF.NN,TF.Train} packages define Tensorflow-functions. A example is below. Write tensorflow-model. Run the model. This run function generates python-code and excecute the code by python.