reducealgebra.jl: Meta-package for Reduce.jl and External Packages, automatically mirrored from https://github.com/JuliaReducePkg/ReduceAlgebra.jl https://github.com/JuliaReducePkg/ReduceAlgebra.jl
DeepSource Bot
0a4b5c3305
Add .deepsource.toml
|
3 anos atrás | |
|---|---|---|
| .github | 3 anos atrás | |
| src | 6 anos atrás | |
| test | 6 anos atrás | |
| .codecov.yml | 6 anos atrás | |
| .deepsource.toml | 3 anos atrás | |
| .gitattributes | 3 anos atrás | |
| .gitignore | 6 anos atrás | |
| .travis.yml | 6 anos atrás | |
| LICENSE | 6 anos atrás | |
| LICENSE.md | 6 anos atrás | |
| Project.toml | 6 anos atrás | |
| README.md | 6 anos atrás | |
| REQUIRE | 6 anos atrás | |
| SECURITY.md | 3 anos atrás | |
| appveyor.yml | 6 anos atrás |
README.md
ReduceAlgebra.jl
Meta-package for Reduce.jl and External Packages
The upstream REDUCE software was originally created by Anthony C. Hearn (currently maintained on SourceForge), the Julia packages included with this repository are based on the symbolic parser generator Reduce.jl created by Michael Reed, which extends the Julia language with REDUCE functionality.
In Reduce.jl, an upstream REDUCE package can be used with load_package(::Symbol).
External packages provided by ReduceAlgebra.jl,
- Reduce.jl: core functionality (parser-generator), upstream docs (REDUCE / pdf), Julia docs (stable / latest)
- ReduceLinAlg.jl: Linear algebra package, upstream docs (LINALG / pdf), Julia docs (stable / latest)
What is included with the Reduce.jl core package? Julia docs (stable / latest)
- Integration of square roots, upstream docs (ALGINT / pdf)
- Package for compacting expressions, upstream docs (COMPACT / pdf)
- A package for finding limits, upstream docs (LIMITS / pdf)
- REDUCE LaTeX formula interface, upstream docs (RLFI / pdf), supports IJulia.jl output
- REDUCE source code optimization package, upstream docs (SCOPE / pdf)
- A package for series summation, upstream docs (SUM / pdf)
More packages will be added. See Implement External REDUCE Packages and Implement Reduce for progress.