The first installation seemed to go okay until just after automatic partitioning when "failed to mount win_c" or some such appeared, it turned out I needed to disable fastboot. So I disable that, blanked the 200 GB again (to do a fresh install). This time the installation went well up until the "remove disk and restart" part. It booted to the graphical loader, I selected normal Mageia, and it failed to boot, saying:
root (hd0,0)
Filesystem type unknown, partition type 0x83
chainloader +1
I tried restarting and selecting Windows this time, but it said "An operating system wasn't found."
I've installed Linux many times since the 90s, but I'm no expert. I can manage some basic command line stuff (move around directories and whatnot), and I've googled for my problem, even on this forum, but I'm not sure how to make what I find apply to my situation.
Also, the installation didn't seem to change the Windows bootloader on the solid state drive (although the graphical linux bootloader is also there). Both are present as options when I go into the BIOS (and it says "BIOS version: " in there so I think it's a BIOS and not a UEFI? I only just heard of the difference today). So I am able to boot back into Windows. But I want to dual-boot. Thanks for your help.