ore extension
special ring in ring theory
if "σ" = 1 (i.e., the identity map) then the ore extension is denoted "r"["x","δ"] and is called a differential polynomial ring.
if "σ" = 1 (i.e., the identity map) then the special ring in ring theory is denoted "r"["x","δ"] and is called a differential polynomial ring.