• Lists of real numbers
  Use Sage syntax to enter a number, a list of numbers, or a dictionary of the form {param: number}. The lists and dictionaries may be nested. The numbers might be given via formulas involving standard functions such as sin and sqrt, as well as standard constants such as e and pi.
  Examples:
  • -2, pi, e searches for certain constants.
  • {n: 2^n for n in [1..10]} searches for $2^1$, ..., $2^{10}$.
  • RIF(10,11) searches for all numbers contained in the interval $[10,11]$.
  • {a: {b: a/b for b in [1..5] if gcd(a,b) == 1} for a in [-5..5]} searches certain small rational numbers.
• Lists of complex numbers
  Similarly one can search for complex numbers. Recommended parents are CIF (complex interval field), CBF (complex ball field), and SR (symbolic ring), although CC (complex field via floats) should work as well unless too much precision is lost during the computation.
• Lists of p-adic numbers
  Similarly one can search for p-adic numbers in $\mathbb{Z}_p$ and $\mathbb{Q}_p$.
  Examples:
  • Qp(2,prec=4)(5) searches for $5 + O(2^4)$ = $2^0 + 2^2 + O(2^4)$, that is, any $2$-adic integer with first four $2$-adic digits $1$, $0$, $1$, $0$.
  • {n: Qp(2)(n) for n in [1..10]} searches $1$, ..., $10$ up to $O(2^{20})$ as $2$-adic numbers; note that 20 is the standard precision for Qp in sage.
• Lists of polynomials over $\mathbb{Q}$
  Similarly one can search for multivariate polynomials over $\mathbb{Q}$. As only expressions are accepted (mainly for safety reasons), we can define the variables as in the following example:
  
  • [{n: x^2 + n for n in [1..10]} for x,y in [polygens(QQ,2,'x')]] searches for polynomials $x^2+n$ for integers $n=1,\ldots,10$, where we allow two variables $x$ and $y$.

Search results