From 14df14aa8620026ab9a14d7936834cf4f6879650 Mon Sep 17 00:00:00 2001 From: Nao Pross Date: Mon, 4 Mar 2024 00:25:57 +0100 Subject: Add stub for rational algebra --- mdpoly/algebra.py | 11 +++++++++++ 1 file changed, 11 insertions(+) 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 """ + + + # ┏┳┓┏━┓╺┳╸┏━┓╻╻ ╻ ┏━┓╻ ┏━╸┏━╸┏┓ ┏━┓┏━┓ # ┃┃┃┣━┫ ┃ ┣┳┛┃┏╋┛ ┣━┫┃ ┃╺┓┣╸ ┣┻┓┣┳┛┣━┫ # ╹ ╹╹ ╹ ╹ ╹┗╸╹╹ ╹ ╹ ╹┗━╸┗━┛┗━╸┗━┛╹┗╸╹ ╹ -- cgit v1.2.1