Skip to content

Commit

Permalink
isort on sympy-stubs
Browse files Browse the repository at this point in the history
  • Loading branch information
debonte committed May 2, 2024
1 parent a42d707 commit a716416
Show file tree
Hide file tree
Showing 413 changed files with 3,156 additions and 271 deletions.
939 changes: 917 additions & 22 deletions stubs/sympy-stubs/__init__.pyi

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions stubs/sympy-stubs/algebras/quaternion.pyi
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
from types import NotImplementedType
from typing import Any, Literal, Self

from sympy.core.basic import Basic
from sympy.core.expr import Expr
from sympy.core.function import UndefinedFunction
Expand Down
2 changes: 1 addition & 1 deletion stubs/sympy-stubs/assumptions/__init__.pyi
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
from sympy.assumptions.assume import AppliedPredicate, AssumptionsContext, Predicate, assuming, global_assumptions
from sympy.assumptions.ask import Q, ask, register_handler, remove_handler
from sympy.assumptions.assume import AppliedPredicate, AssumptionsContext, Predicate, assuming, global_assumptions
from sympy.assumptions.refine import refine
from sympy.assumptions.relation import AppliedBinaryRelation, BinaryRelation

Expand Down
6 changes: 3 additions & 3 deletions stubs/sympy-stubs/assumptions/ask.pyi
Original file line number Diff line number Diff line change
@@ -1,10 +1,10 @@
from sympy.assumptions.assume import UndefinedPredicate
from sympy.assumptions.predicates.sets import *
from sympy.assumptions.predicates.calculus import *
from sympy.assumptions.predicates.order import *
from sympy.assumptions.predicates.ntheory import *
from sympy.assumptions.predicates.common import *
from sympy.assumptions.predicates.matrices import *
from sympy.assumptions.predicates.ntheory import *
from sympy.assumptions.predicates.order import *
from sympy.assumptions.predicates.sets import *
from sympy.assumptions.relation.equality import *
from sympy.utilities.decorator import memoize_property

Expand Down
1 change: 1 addition & 0 deletions stubs/sympy-stubs/assumptions/ask_generated.pyi
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
from typing import Any

from sympy.assumptions.cnf import AND, OR, Literal
from sympy.core.cache import cacheit

Expand Down
1 change: 1 addition & 0 deletions stubs/sympy-stubs/assumptions/assume.pyi
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
from contextlib import contextmanager
from typing import Any, Callable, Generator, Self

from sympy.core.basic import Basic
from sympy.logic.boolalg import Boolean

Expand Down
1 change: 1 addition & 0 deletions stubs/sympy-stubs/assumptions/cnf.pyi
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
from typing import Any, Self

from sympy.core.logic import And

class Literal:
Expand Down
1 change: 1 addition & 0 deletions stubs/sympy-stubs/assumptions/facts.pyi
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
from typing import Any

from sympy.core.cache import cacheit
from sympy.core.logic import And

Expand Down
21 changes: 19 additions & 2 deletions stubs/sympy-stubs/assumptions/handlers/calculus.pyi
Original file line number Diff line number Diff line change
@@ -1,8 +1,25 @@
from typing import Literal

from sympy.assumptions.predicates.calculus import (
FinitePredicate,
InfinitePredicate,
NegativeInfinitePredicate,
PositiveInfinitePredicate,
)
from sympy.core import Add, Mul, Pow, Symbol
from sympy.core.numbers import ComplexInfinity, Exp1, GoldenRatio, ImaginaryUnit, Infinity, NaN, NegativeInfinity, Number, Pi, TribonacciConstant
from sympy.core.numbers import (
ComplexInfinity,
Exp1,
GoldenRatio,
ImaginaryUnit,
Infinity,
NaN,
NegativeInfinity,
Number,
Pi,
TribonacciConstant,
)
from sympy.functions import cos, exp, log, sign, sin
from sympy.assumptions.predicates.calculus import FinitePredicate, InfinitePredicate, NegativeInfinitePredicate, PositiveInfinitePredicate

@FinitePredicate.register(Symbol)
def _(expr, assumptions) -> Literal[True] | None:
Expand Down
3 changes: 2 additions & 1 deletion stubs/sympy-stubs/assumptions/handlers/common.pyi
Original file line number Diff line number Diff line change
@@ -1,9 +1,10 @@
from typing import Literal, Self

from sympy.assumptions import AppliedPredicate
from sympy.assumptions.predicates.common import CommutativePredicate, IsTruePredicate
from sympy.core import Basic, Symbol
from sympy.core.numbers import NaN, Number
from sympy.logic.boolalg import And, BooleanFalse, BooleanTrue, Equivalent, Implies, Not, Or
from sympy.assumptions.predicates.common import CommutativePredicate, IsTruePredicate

class AskHandler:
def __new__(cls, *args, **kwargs) -> Self:
Expand Down
38 changes: 36 additions & 2 deletions stubs/sympy-stubs/assumptions/handlers/matrices.pyi
Original file line number Diff line number Diff line change
@@ -1,9 +1,43 @@
from typing import Literal

from sympy import MatrixBase
from sympy.matrices.expressions import BlockDiagMatrix, BlockMatrix, Determinant, DiagMatrix, DiagonalMatrix, HadamardProduct, Identity, Inverse, MatAdd, MatMul, MatPow, MatrixExpr, MatrixSlice, MatrixSymbol, OneMatrix, Trace, Transpose, ZeroMatrix
from sympy.assumptions.predicates.matrices import (
ComplexElementsPredicate,
DiagonalPredicate,
FullRankPredicate,
IntegerElementsPredicate,
InvertiblePredicate,
LowerTriangularPredicate,
OrthogonalPredicate,
PositiveDefinitePredicate,
RealElementsPredicate,
SquarePredicate,
SymmetricPredicate,
UnitaryPredicate,
UpperTriangularPredicate,
)
from sympy.matrices.expressions import (
BlockDiagMatrix,
BlockMatrix,
Determinant,
DiagMatrix,
DiagonalMatrix,
HadamardProduct,
Identity,
Inverse,
MatAdd,
MatMul,
MatPow,
MatrixExpr,
MatrixSlice,
MatrixSymbol,
OneMatrix,
Trace,
Transpose,
ZeroMatrix,
)
from sympy.matrices.expressions.factorizations import Factorization
from sympy.matrices.expressions.fourier import DFT
from sympy.assumptions.predicates.matrices import ComplexElementsPredicate, DiagonalPredicate, FullRankPredicate, IntegerElementsPredicate, InvertiblePredicate, LowerTriangularPredicate, OrthogonalPredicate, PositiveDefinitePredicate, RealElementsPredicate, SquarePredicate, SymmetricPredicate, UnitaryPredicate, UpperTriangularPredicate

@SquarePredicate.register(MatrixExpr)
def _(expr, assumptions):
Expand Down
3 changes: 2 additions & 1 deletion stubs/sympy-stubs/assumptions/handlers/ntheory.pyi
Original file line number Diff line number Diff line change
@@ -1,8 +1,9 @@
from typing import Literal

from sympy.assumptions.predicates.ntheory import CompositePredicate, EvenPredicate, OddPredicate, PrimePredicate
from sympy.core import Add, Basic, Expr, Float, Mul, Pow
from sympy.core.numbers import ImaginaryUnit, Infinity, Integer, NaN, NegativeInfinity, NumberSymbol, Rational
from sympy.functions import Abs, im, re
from sympy.assumptions.predicates.ntheory import CompositePredicate, EvenPredicate, OddPredicate, PrimePredicate

@PrimePredicate.register(Expr)
def _(expr, assumptions):
Expand Down
15 changes: 14 additions & 1 deletion stubs/sympy-stubs/assumptions/handlers/order.pyi
Original file line number Diff line number Diff line change
@@ -1,10 +1,23 @@
from typing import Literal

from sympy.assumptions.predicates.order import (
ExtendedNegativePredicate,
ExtendedNonNegativePredicate,
ExtendedNonPositivePredicate,
ExtendedNonZeroPredicate,
ExtendedPositivePredicate,
NegativePredicate,
NonNegativePredicate,
NonPositivePredicate,
NonZeroPredicate,
PositivePredicate,
ZeroPredicate,
)
from sympy.core import Add, Basic, Expr, Mul, Pow
from sympy.core.numbers import ImaginaryUnit, NaN
from sympy.functions import Abs, acos, acot, asin, atan, exp, factorial, log
from sympy.matrices import Determinant, Trace
from sympy.matrices.expressions.matexpr import MatrixElement
from sympy.assumptions.predicates.order import ExtendedNegativePredicate, ExtendedNonNegativePredicate, ExtendedNonPositivePredicate, ExtendedNonZeroPredicate, ExtendedPositivePredicate, NegativePredicate, NonNegativePredicate, NonPositivePredicate, NonZeroPredicate, PositivePredicate, ZeroPredicate

@NegativePredicate.register(Basic)
def _(expr, assumptions) -> Literal[False] | None:
Expand Down
32 changes: 30 additions & 2 deletions stubs/sympy-stubs/assumptions/handlers/sets.pyi
Original file line number Diff line number Diff line change
@@ -1,10 +1,38 @@
from typing import Literal

from sympy.assumptions.predicates.sets import (
AlgebraicPredicate,
AntihermitianPredicate,
ComplexPredicate,
ExtendedRealPredicate,
HermitianPredicate,
ImaginaryPredicate,
IntegerPredicate,
IrrationalPredicate,
RationalPredicate,
RealPredicate,
)
from sympy.core import Add, Basic, Expr, Mul, Pow
from sympy.core.numbers import AlgebraicNumber, ComplexInfinity, Exp1, Float, GoldenRatio, ImaginaryUnit, Infinity, Integer, NaN, NegativeInfinity, Number, NumberSymbol, Pi, Rational, TribonacciConstant
from sympy.core.numbers import (
AlgebraicNumber,
ComplexInfinity,
Exp1,
Float,
GoldenRatio,
ImaginaryUnit,
Infinity,
Integer,
NaN,
NegativeInfinity,
Number,
NumberSymbol,
Pi,
Rational,
TribonacciConstant,
)
from sympy.functions import Abs, acos, acot, asin, atan, cos, cot, exp, im, log, re, sin, tan
from sympy.matrices import Determinant, MatrixBase, Trace
from sympy.matrices.expressions.matexpr import MatrixElement
from sympy.assumptions.predicates.sets import AlgebraicPredicate, AntihermitianPredicate, ComplexPredicate, ExtendedRealPredicate, HermitianPredicate, ImaginaryPredicate, IntegerPredicate, IrrationalPredicate, RationalPredicate, RealPredicate

@IntegerPredicate.register_many(int, Integer)
def _(expr, assumptions) -> Literal[True]:
Expand Down
1 change: 1 addition & 0 deletions stubs/sympy-stubs/assumptions/predicates/common.pyi
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
from typing import Any

from sympy.assumptions import Predicate
from sympy.assumptions.assume import AppliedPredicate

Expand Down
1 change: 1 addition & 0 deletions stubs/sympy-stubs/assumptions/predicates/matrices.pyi
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
from typing import LiteralString

from sympy.assumptions import Predicate
from sympy.multipledispatch import Dispatcher

Expand Down
2 changes: 1 addition & 1 deletion stubs/sympy-stubs/assumptions/predicates/ntheory.pyi
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
from typing import LiteralString

from sympy.assumptions import Predicate
from sympy.multipledispatch import Dispatcher


class PrimePredicate(Predicate):
name: LiteralString = ...
handler: Dispatcher = ...
Expand Down
2 changes: 1 addition & 1 deletion stubs/sympy-stubs/assumptions/predicates/order.pyi
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
from typing import Any, LiteralString

from sympy.assumptions import Predicate
from sympy.multipledispatch import Dispatcher


class NegativePredicate(Predicate):
name: LiteralString = ...
handler: Dispatcher = ...
Expand Down
1 change: 1 addition & 0 deletions stubs/sympy-stubs/assumptions/refine.pyi
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
from typing import Callable

from sympy.core import Expr
from sympy.core.basic import Basic
from sympy.core.function import UndefinedFunction
Expand Down
1 change: 1 addition & 0 deletions stubs/sympy-stubs/assumptions/relation/binrel.pyi
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
from typing import Optional, Self

from sympy.assumptions import AppliedPredicate, Predicate
from sympy.core.basic import Basic
from sympy.core.logic import Not
Expand Down
1 change: 1 addition & 0 deletions stubs/sympy-stubs/assumptions/relation/equality.pyi
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
from typing import Any

from sympy.assumptions.relation.binrel import BinaryRelation

__all__ = ['EqualityPredicate', 'UnequalityPredicate', 'StrictGreaterThanPredicate', 'GreaterThanPredicate', 'StrictLessThanPredicate', 'LessThanPredicate']
Expand Down
1 change: 1 addition & 0 deletions stubs/sympy-stubs/assumptions/satask.pyi
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
from typing import Any

from sympy.assumptions.cnf import CNF, EncodedCNF

def satask(proposition, assumptions=..., context=..., use_known_facts=..., iterations=...) -> bool | None:
Expand Down
1 change: 1 addition & 0 deletions stubs/sympy-stubs/assumptions/sathandlers.pyi
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
from typing import Any, Callable

from sympy.core import Add, Mul, Number, NumberSymbol, Pow
from sympy.core.logic import And, Or
from sympy.core.numbers import ImaginaryUnit
Expand Down
1 change: 1 addition & 0 deletions stubs/sympy-stubs/assumptions/wrapper.pyi
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
from typing import Callable, Self

from sympy.core.basic import Basic

def make_eval_method(fact) -> Callable[..., bool | None]:
Expand Down
11 changes: 9 additions & 2 deletions stubs/sympy-stubs/calculus/__init__.pyi
Original file line number Diff line number Diff line change
@@ -1,7 +1,14 @@
from sympy.calculus.accumulationbounds import AccumBounds
from sympy.calculus.euler import euler_equations
from sympy.calculus.singularities import is_decreasing, is_increasing, is_monotonic, is_strictly_decreasing, is_strictly_increasing, singularities
from sympy.calculus.finite_diff import apply_finite_diff, differentiate_finite, finite_diff_weights
from sympy.calculus.singularities import (
is_decreasing,
is_increasing,
is_monotonic,
is_strictly_decreasing,
is_strictly_increasing,
singularities,
)
from sympy.calculus.util import is_convex, maximum, minimum, not_empty_in, periodicity, stationary_points
from sympy.calculus.accumulationbounds import AccumBounds

__all__ = ['euler_equations', 'singularities', 'is_increasing', 'is_strictly_increasing', 'is_decreasing', 'is_strictly_decreasing', 'is_monotonic', 'finite_diff_weights', 'apply_finite_diff', 'differentiate_finite', 'periodicity', 'not_empty_in', 'is_convex', 'stationary_points', 'minimum', 'maximum', 'AccumBounds']
1 change: 1 addition & 0 deletions stubs/sympy-stubs/calculus/accumulationbounds.pyi
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
from types import NotImplementedType
from typing import Self

from sympy.core.basic import Basic
from sympy.core.expr import Expr
from sympy.core.logic import And
Expand Down
1 change: 0 additions & 1 deletion stubs/sympy-stubs/calculus/euler.pyi
Original file line number Diff line number Diff line change
@@ -1,7 +1,6 @@

from typing import Any


def euler_equations(L, funcs=..., vars=...) -> list[Any]:
...

1 change: 0 additions & 1 deletion stubs/sympy-stubs/calculus/finite_diff.pyi
Original file line number Diff line number Diff line change
@@ -1,7 +1,6 @@

from typing import Literal


def finite_diff_weights(order, x_list, x0=...) -> list[list[list[int]]]:
...

Expand Down
2 changes: 1 addition & 1 deletion stubs/sympy-stubs/calculus/util.pyi
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
from typing import Any

from sympy import Union
from sympy.sets.sets import FiniteSet, Set


def continuous_domain(f, symbol, domain):
...

Expand Down
1 change: 1 addition & 0 deletions stubs/sympy-stubs/categories/baseclasses.pyi
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
from typing import Any, Self

from sympy.core import Basic, Symbol
from sympy.sets import Set

Expand Down
1 change: 1 addition & 0 deletions stubs/sympy-stubs/categories/diagram_drawing.pyi
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
from typing import Any

from sympy.utilities.decorator import doctest_depends_on

__doctest_requires__ = ...
Expand Down
16 changes: 15 additions & 1 deletion stubs/sympy-stubs/codegen/__init__.pyi
Original file line number Diff line number Diff line change
@@ -1,3 +1,17 @@
from sympy.codegen.ast import Assignment, Attribute, CodeBlock, Declaration, For, FunctionCall, FunctionDefinition, FunctionPrototype, Print, Scope, Variable, While, aug_assign
from sympy.codegen.ast import (
Assignment,
Attribute,
CodeBlock,
Declaration,
For,
FunctionCall,
FunctionDefinition,
FunctionPrototype,
Print,
Scope,
Variable,
While,
aug_assign,
)

__all__ = ['Assignment', 'aug_assign', 'CodeBlock', 'For', 'Attribute', 'Variable', 'Declaration', 'While', 'Scope', 'Print', 'FunctionPrototype', 'FunctionDefinition', 'FunctionCall']
1 change: 1 addition & 0 deletions stubs/sympy-stubs/codegen/ast.pyi
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
from typing import Any, Callable, Iterator, Literal, Self

from sympy.core.basic import Basic
from sympy.core.expr import Atom, Expr
from sympy.core.function import UndefinedFunction
Expand Down
1 change: 1 addition & 0 deletions stubs/sympy-stubs/codegen/cnodes.pyi
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
from typing import Self

from sympy.codegen.ast import FunctionCall, Node, String, Token
from sympy.core.basic import Basic

Expand Down
1 change: 1 addition & 0 deletions stubs/sympy-stubs/codegen/fnodes.pyi
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
from ast import Attribute
from typing import Self

from sympy.codegen.ast import FunctionCall, Node, String, Token, Variable
from sympy.core.basic import Basic
from sympy.core.expr import Expr
Expand Down
1 change: 1 addition & 0 deletions stubs/sympy-stubs/combinatorics/coset_table.pyi
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
from typing import Any, Self

from sympy.printing.defaults import DefaultPrinting

class CosetTable(DefaultPrinting):
Expand Down
1 change: 1 addition & 0 deletions stubs/sympy-stubs/combinatorics/fp_groups.pyi
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
from typing import Any, Callable

from sympy.combinatorics.coset_table import CosetTable
from sympy.combinatorics.free_groups import FreeGroupElement
from sympy.combinatorics.homomorphisms import GroupHomomorphism
Expand Down
Loading

0 comments on commit a716416

Please sign in to comment.