Noetherian Rings in Solidity

noether.sol

pragma solidity ^0.8.0;

interface INoetherianRing {
    function isNoetherian() external returns (bool);
    function groebner(bytes calldata _polynomialIdeal) external returns (bytes memory);
    function hilbertSeries() external returns (bytes memory);
    function primaryDecomposition(bytes calldata _polynomialIdeal) external returns (bytes memory);
    function minpoly(bytes calldata _algebraicElement) external returns (bytes memory);
    function quo(bytes calldata _polynomialIdeal) external returns (address);
    function radical(bytes calldata _polynomialIdeal) external returns (bytes memory);
    function saturation(bytes calldata _polynomialIdeal) external returns (bytes memory);
    function spectrum() external returns (bytes memory);
    function syzygies(bytes calldata _polynomialIdeal) external returns (bytes memory);
}

contract NoetherianRing is INoetherianRing {
    function isNoetherian() external override returns (bool) {
        // implementation
    }
    
    function groebner(bytes calldata _polynomialIdeal) external override returns (bytes memory) {
        // implementation
    }
    
    function hilbertSeries() external override returns (bytes memory) {
        // implementation
    }
    
    function primaryDecomposition(bytes calldata _polynomialIdeal) external override returns (bytes memory) {
        // implementation
    }
    
    function minpoly(bytes calldata _algebraicElement) external override returns (bytes memory) {
        // implementation
    }
    
    function quo(bytes calldata _polynomialIdeal) external override returns (address) {
        // implementation
    }
    
    function radical(bytes calldata _polynomialIdeal) external override returns (bytes memory) {
        // implementation
    }
    
    function saturation(bytes calldata _polynomialIdeal) external override returns (bytes memory) {
        // implementation
    }
    
    function spectrum() external override returns (bytes memory) {
        // implementation
    }
    
    function syzygies(bytes calldata _polynomialIdeal) external override returns (bytes memory) {
        // implementation
    }
}

se qualificando interpretatur
https://gist.github.com/ravachol70/7a74920077c14c3f0efe42591325565f