R_c25_sadava
ṣāḍava = forme hexatonique (6 svaras) dérivée par omission d'un svara, sous contrainte de non-omission du saṃvādī de l'aṃśa
Body (pseudocode)
FUNCTION form_sadava(jati, amsa):
forbidden := {samvadi(amsa)}
candidates := jati.svaras \ forbidden
IF |candidates| < 6: RETURN NULL # cannot form sadava
omit := select_one(candidates, NOT IN {amsa}) # e.g. nisada in sadji
sadava_form := jati.svaras \ {omit}
ASSERT |sadava_form| == 6
RETURN sadava_form # 14 varieties, 47 amsa-applications attested