diff options
| author | Nao Pross <np@0hm.ch> | 2024-03-04 00:25:57 +0100 |
|---|---|---|
| committer | Nao Pross <np@0hm.ch> | 2024-03-04 00:25:57 +0100 |
| commit | 14df14aa8620026ab9a14d7936834cf4f6879650 (patch) | |
| tree | 59394e5a57bf4982a120bd4be9267efc8e62d1c0 | |
| parent | Rename algebraic operations with algebra prefix (diff) | |
| download | mdpoly-14df14aa8620026ab9a14d7936834cf4f6879650.tar.gz mdpoly-14df14aa8620026ab9a14d7936834cf4f6879650.zip | |
Add stub for rational algebra
| -rw-r--r-- | mdpoly/algebra.py | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/mdpoly/algebra.py b/mdpoly/algebra.py index b76a849..4342a5e 100644 --- a/mdpoly/algebra.py +++ b/mdpoly/algebra.py @@ -351,6 +351,17 @@ class PartialDiff(Expr, HasRepr, PolyRingAlgebra): class Diff(Expr, PolyRingAlgebra): """ Total differentiation. """ + +# ┏━┓┏━┓╺┳╸╻┏━┓┏┓╻┏━┓╻ ┏━┓╻ ┏━╸┏━╸┏┓ ┏━┓┏━┓ +# ┣┳┛┣━┫ ┃ ┃┃ ┃┃┗┫┣━┫┃ ┣━┫┃ ┃╺┓┣╸ ┣┻┓┣┳┛┣━┫ +# ╹┗╸╹ ╹ ╹ ╹┗━┛╹ ╹╹ ╹┗━╸ ╹ ╹┗━╸┗━┛┗━╸┗━┛╹┗╸╹ ╹ + + +class RationalFieldAlgebra(AlgebraicStructure, Protocol): + """ Endows with the algebraic structure of a field of rational functions """ + + + # ┏┳┓┏━┓╺┳╸┏━┓╻╻ ╻ ┏━┓╻ ┏━╸┏━╸┏┓ ┏━┓┏━┓ # ┃┃┃┣━┫ ┃ ┣┳┛┃┏╋┛ ┣━┫┃ ┃╺┓┣╸ ┣┻┓┣┳┛┣━┫ # ╹ ╹╹ ╹ ╹ ╹┗╸╹╹ ╹ ╹ ╹┗━╸┗━┛┗━╸┗━┛╹┗╸╹ ╹ |