A reduced basis for CP violation in SMEFT at colliders and its application to diboson production | Synapse