If you removed Vagrantfile but not Vagrant host. you'll get following error:
Name 'vagrantbox_default' of domain about to create is already taken. Please try to run 'vagrant up' command again.
For Fedora users, or force undefine you need following.
To install virsh.
sudo dnf groupinfo virtualization
sudo dnf install @virtualization To remove domain.
virsh list --all
virsh destroy <THE_MACHINE>
virsh undefine <THE_MACHINE> --snapshots-metadata --managed-save
virsh vol-list default
virsh vol-delete --pool default <THE_VOLUME>