Irredundant bases for soluble groups | Synapse