Resultados da pesquisa a pedido "rational-numbers"
rações simplificadoras em Ja
minha tarefa é desenvolver uma classe racional. Se 500 e 1000 são minhas entradas, (½) deve ser minha saída. Eu escrevi um programa sozinho para encontrá-lo. Existe outra maneira melhor de encontrar a solução, ou meu programa já é ...
Coq QArith divisão por zero é zero, por quê?
Notei que, na definição de racional de Coq, o inverso de zero é definido como zero. (Normalmente, a divisão por zero não é bem definida / legal / permitida.) Require Import QArith. Lemma inv_zero_is_zero: (/ 0) == 0. Proof. unfold ...
or que os literais numéricos Haskell precisam começar e terminar com dígito
DentroThe Haskell 98 Report [http://www.haskell.org/onlinereport/lexemes.html#lexemes-numeric]izem que Um literal flutuante deve conter dígitos antes e depois do ponto decimal; isso garante que um ponto decimal não possa ser confundido com ...
O jogo “adivinhe o número” para números racionais arbitrários?
Certa vez, recebi o seguinte como uma pergunta de entrevista: Estou pensando em um número inteiro positivo n. Crie um algoritmo que possa adivinhar em consultas O (lg n). Cada consulta é um número de sua escolha e eu responderei "inferior", ...
Módulo de números racionais do Python puro para 2.5
Alguém viu uma coisa dessas? Módulos auto-suficientes pequenos são os preferidos.