Package sage :: Package rings :: Module misc
[hide private]
[frames] | no frames]

Module misc

source code

Functions [hide private]
 
composite_field(K, L)
Return a canonical field that contains both $K$ and $L$, if possible.
source code
Function Details [hide private]

composite_field(K, L)

source code 

Return a canonical field that contains both $K$ and $L$, if possible.
Otherwise, raise a ValueError.

INPUT:
    K -- field
    L -- field
OUTPUT:
    field

EXAMPLES:
    sage: composite_field(QQ,QQbar)
    Algebraic Field
    sage: composite_field(QQ,QQ[sqrt(2)])
    Number Field in sqrt2 with defining polynomial x^2 - 2
    sage: composite_field(QQ,QQ)
    Rational Field
    sage: composite_field(QQ,GF(7))
    Traceback (most recent call last):
    ...
    ValueError: unable to find a common field