remainder_seq_test: LEMMA LET g=(LAMBDA (i:nat): IF i<=3 THEN 2 ELSIF i<=6 THEN -3 ELSE 0 ENDIF) IN sturm_chain(g,6) =
(:(::),(:-1:),(:-579,-608:),(:2,4,55:),
(:126,140,105,120:),(:-70,-56,-42,-48,21:),
(:2,4,6,-12,-15,-18:),(:2,2,2,2,-3,-3,-3:):)
END remainder_sequence
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.15Bemerkung:
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.