Existe uma função para fatorial de queda no Mathematica

Se eu tivesse que construir uma função para fatorial de queda no Mathematica eu “faria algo assim (espero que” não estou enganado):

fato falso [x_, k _]: = $ \ prod_ {j = 0} ^ {k-1} (xj) $

Mas existe uma função embutida para fatorial decrescente no Mathematica?

Comentários

• FactorialPower
• @rasher Legal, não consegui ' não encontrá-lo. Obrigada. Você pode escrever seu comentário como uma resposta e eu ' verificarei
• Não, seria um pateta ganhando pontos por isso 🙂
• @rasher acabou de ver que — lol – erm, bem, eu … isso é facilmente encontrado na documentação?
• Nah, eu digo deixar, é bastante obscuro fora da maioria dos campos . Pode ser uma boa comunidade wiki (outros nomes e convenções, por exemplo, o Pochhammer em MM é muito diferente do uso em outros campos da matemática). Além disso, posso estremecer quando sua resposta receber 30 votos positivos; -}