Skip to content

Commit ce87b71

Browse files
Merge pull request #221 from TymonKilich/manual-smallfixes
Small page/manual link fixes
2 parents f5876e2 + 9a3cb08 commit ce87b71

File tree

3 files changed

+7
-7
lines changed

3 files changed

+7
-7
lines changed

README.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -16,10 +16,10 @@ a Computer Algebra System (CAS). If you're looking for a complete CAS, similar t
1616
[Symbolics.jl](https://github.com/JuliaSymbolics/Symbolics.jl). If you want to build a crazy CAS for your weird
1717
Octonian algebras, you've come to the right place.
1818

19-
[Symbols in SymbolicUtils](https://juliasymbolics.github.io/SymbolicUtils.jl/#creating_symbolic_expressions) carry type information. Operations on them propagate this information. [A rule-based rewriting language](https://juliasymbolics.github.io/SymbolicUtils.jl/#rule-based_rewriting) can be used to find subexpressions that satisfy arbitrary conditions and apply arbitrary transformations on the matches. The library also contains a set of useful [simplification](https://juliasymbolics.github.io/SymbolicUtils.jl/#simplification) rules for expressions of numeric symbols and numbers. These can be remixed and extended for special purposes.
19+
[Symbols in SymbolicUtils](https://symbolicutils.juliasymbolics.org/#creating_symbolic_expressions) carry type information. Operations on them propagate this information. [A rule-based rewriting language](https://symbolicutils.juliasymbolics.org/rewrite/#rule-based_rewriting) can be used to find subexpressions that satisfy arbitrary conditions and apply arbitrary transformations on the matches. The library also contains a set of useful [simplification](https://juliasymbolics.github.io/SymbolicUtils.jl/#simplification) rules for expressions of numeric symbols and numbers. These can be remixed and extended for special purposes.
2020

2121

22-
If you are a Julia package develper in need of a rule rewriting system for your own types, have a look at the [interfacing guide](https://juliasymbolics.github.io/SymbolicUtils.jl/interface/).
22+
If you are a Julia package develper in need of a rule rewriting system for your own types, have a look at the [interfacing guide](https://symbolicutils.juliasymbolics.org/interface/).
2323

2424
[**Go to the manual**](https://juliasymbolics.github.io/SymbolicUtils.jl/)
2525

page/_layout/page_foot.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<div class="page-foot">
22
<div class="copyright">
3-
&copy; {{ fill authors }}. {{isnotpage /tag/*}}Last modified: {{ fill fd_mtime }}.{{end}} Website built with <a href="https://github.com/tlienart/Franklin.jl">Franklin.jl</a>.
3+
&copy; {{ fill authors }}. {{isnotpage /tag/*}}Last modified: {{ fill fd_mtime }}.{{end}} Website built with <a href="https://github.com/tlienart/Franklin.jl">Franklin.jl</a> and <a href="https://github.com/tlienart/PkgPage.jl">PkgPage.jl</a>.
44
</div>
55
</div>

page/index.md

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -18,11 +18,11 @@ where appropriate -->
1818
**Features:**
1919

2020
- Fast expressions
21-
- A [combinator library](#composing_rewriters) for making rewriters.
22-
- A [rule-based rewriting language](#rule-based_rewriting).
21+
- A [combinator library](/rewrite/#composing_rewriters) for making rewriters.
22+
- A [rule-based rewriting language](/rewrite/#rule-based_rewriting).
2323
- Type promotion:
24-
- Symbols (`Sym`s) carry type information. ([read more](#symbolic_expressions))
25-
- Compound expressions composed of `Sym`s propagate type information. ([read more](#symbolic_expressions))
24+
- Symbols (`Sym`s) carry type information. ([read more](#creating_symbolic_expressions))
25+
- Compound expressions composed of `Sym`s propagate type information. ([read more](#expression_interface))
2626
- Set of extendable [simplification rules](#simplification).
2727

2828

0 commit comments

Comments
 (0)