Ampere's circuital law: long straight wire and solenoid