46 | | Other Dependencies: |
47 | | #18182: pushout construction and finding common parents for/including cartesian products |
48 | | #18222: provide <=, <, >=, > for poset elements by the category (depends on #10130) |
49 | | #18223: cartesian products with orders |
50 | | #18586: passing on parameters and extra_category |
| 39 | **Roadmap**: |
| 40 | |
| 41 | |
| 42 | * Implementing a minimal working example |
| 43 | * #17600 (!AsymptoticGrowthElement): elements which handle the asymptotic growth. Concretely: !MonomialGrowthElement, implementation for powers. |
| 44 | * #17715 (!AsymptoticTerm): "building blocks" for asymptotic expressions, they contain the growth and additional information on the type of the term. For starters, there will be big-Oh terms and exact terms. |
| 45 | * #17693 (!MutablePoset): data structure for storing asymptotic terms within an asymptotic expression. |
| 46 | * #17716 (!AsymptoticExpression): sum of asymptotic terms. |
| 47 | |
| 48 | * Extending the functionality of !AsymptoticExpression |
| 49 | * Implement Division for asymptotic Expressions |
| 50 | * Implement higher-order operations like `exp` and `log` for asymptotic expressions. |
| 51 | * Improve the user interface: extend the conversion from the symbolic ring such that more than just monomials can be converted. |
| 52 | * Implement comparison for asymptotic expressions. |
| 53 | |
| 54 | * Extending the functionality of growth groups |
| 55 | * More growth group implementations: logarithmic and exponential growth groups. |
| 56 | * #18587: cartesian products for growth groups (allowing the construction of more complicated univariate as well as multivariate asymptotic expressions) |
| 57 | * #18223: cartesian products with orders |
| 58 | * #18586: passing on parameters and extra_category for cartesian products |
| 59 | * implement dependencies like |k| <= n^1/2^ for different growth group variables. |
| 60 | |
| 61 | * Further plans |
| 62 | * growth groups with asymptotic at a non-infinity point |
| 63 | * Implementation of more types of asymptotic terms (little-oh terms, omega-terms, variations of big-Oh terms ...) |
| 64 | |
| 65 | |
| 66 | * Additional Dependencies: |
| 67 | * #18182: pushout construction and finding common parents for/including cartesian products |
| 68 | * #18222: provide <=, <, >=, > for poset elements by the category (depends on #10130) |