Campus Livre
assume
Define suposições sobre variáveis simbólicas.
Categoria: Mathematics > Assumptions
Sintaxe
assume(cond)Declara que a condição vale, substituindo suposições anteriores sobre as variáveis envolvidas.
assume(x, set)Declara que x pertence a um conjunto como 'real', 'integer' ou 'positive'.
assume(x, 'clear')Remove as suposições sobre x.
Descrição
Uma variável simbólica é complexa por padrão, então sqrt(x^2) não pode ser simplificada para x. Suposições estreitam o domínio e permitem que funções como simplify, int e limit usem fatos como x real ou x positivo. assume substitui o que foi suposto antes, enquanto assumeAlso acrescenta.
As suposições pertencem à variável e permanecem até serem limpas com assume(x, 'clear'), com assumptions('clear') ou com clear x. assumptions as lista.
Argumentos de entrada
cond- Relação como
x > 0, ou combinação lógica de relações. set- Nome de um conjunto, como texto.
Exemplo
Declarando x real
syms x
assume(x, 'real')
assumptions(x)ans = in(x, 'real')Observações
No MatLivre só o conjunto 'real' é registrado de forma confiável, e as suposições guardadas ainda não são usadas por simplify. assume(x, 'clear') não as limpa; use assumptions('clear').